aboutsummaryrefslogtreecommitdiff
path: root/src/Algebra/Monoid.v
Commit message (Expand)AuthorAge
* split the algebra library; use fsatz moreGravatar Andres Erbsen2017-03-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 04:54:05 +0000