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