summaryrefslogtreecommitdiff
path: root/library/algebra/monoid.tex
AgeCommit message (Expand)Author
2024-09-23AbgabeSimon-Kor
2024-04-11Formalisation of groups and monoidsSimon-Kor
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 08:22:57 +0000