CommutativeMonoid concept
Description
A CommutativeMonoid is a commutative Monoid
Refinement of
Monoid and CommutativeSemiGroup
Notation
Definitions
Valid expressions
None, except for those defined by Monoid and
CommutativeSemiGroup.
Expression semantics
Complexity guarantees
Invariants
Models
Notes