aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd monoids / monoid objects in setoids equivalenceJacques Comeaux6 hours