CheckEqOps

laws

CheckOrderOps

laws

Cog

OrderLaws

cats

root

collect0

Rules

commutative

Rules

commutativeGroup

GroupLaws

commutativeMonoid

GroupLaws

commutativeSemigroup

GroupLaws

consistentInverse

Rules