CheckEqOps

laws

CheckOrderOps

laws

CheckSupport

laws

Cog

OrderLaws

CommutativeGroup

algebra

CommutativeMonoid

algebra

CommutativeSemigroup

algebra

collect0

Rules

commutative

Rules

commutativeGroup

GroupLaws

commutativeMonoid

GroupLaws

commutativeRig

RingLaws

commutativeRing

RingLaws

commutativeRng

RingLaws

commutativeSemigroup

GroupLaws

commutativeSemiring

RingLaws

consistentInverse

Rules