CheckEqOps

laws

CheckOrderOps

laws

CheckSupport

laws

CommutativeGroup

algebra

CommutativeMonoid

algebra

CommutativeSemigroup

algebra

collect0

Rules

commutative

Rules

commutativeGroup

GroupLaws

commutativeMonoid

GroupLaws

commutativeRig

RingLaws

commutativeRing

RingLaws

commutativeSemigroup

GroupLaws

consistentInverse

Rules