CommGroup
typeclass C: CommGroup extends CommMonoid, Group
CommGroup represents an Abelian group. It's a commutative, multiplicative group.
commutative
Inherited from CommSemigroup.
inverse
Inherited from Group.
inverse_right
Inherited from Group.
mul
Inherited from Semigroup.
mul_associative
Inherited from Semigroup.
mul_identity_left
Inherited from Monoid.
mul_identity_right
Inherited from Monoid.