Add derived (pre-)groupoid operations to Relation.Binary.Is(Partial)Equivalence#2249
Closed
jamesmckinna wants to merge 6 commits intoagda:masterfrom jamesmckinna:groupoid
Commits
Commits on Jan 5, 2024
Commits on Jan 10, 2024
Commits on Jan 22, 2024
- committed
- committed
- committed