CheckEqOps

laws

CheckOrderOps

laws

CheckSupport

laws

collect0

Rules

commutative

Rules

commutativeGroup

GroupLaws

commutativeMonoid

GroupLaws

commutativeSemigroup

GroupLaws

consistentInverse

Rules