Skip to content

[ refactor ] add Relation.Unary.Unique#3067

Merged
JacquesCarette merged 9 commits into
agda:masterfrom
jamesmckinna:unique-existence
Jul 14, 2026
Merged

[ refactor ] add Relation.Unary.Unique#3067
JacquesCarette merged 9 commits into
agda:masterfrom
jamesmckinna:unique-existence