Library UniMath.Algebra.Monoids
Algebra I. Part B. Monoids, abelian monoids. Vladimir Voevodsky. Aug. 2011 - .
Require
Export
UniMath.Algebra.Monoids2
.
Require
Export
UniMath.Algebra.AbelianMonoids
.