aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd free functor from setoids to monoids in setoidsJacques Comeaux6 min.
 
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-30 22:51:59 +0000