CommMonoid
typeclass M: CommMonoid extends CommSemigroup, Monoid
CommMonoid represents a commutative, multiplicative monoid.
commutative
Inherited from CommSemigroup.
mul
Inherited from Semigroup.
mul_associative
Inherited from Semigroup.
mul_identity_left
Inherited from Monoid.
mul_identity_right
Inherited from Monoid.