Algebra.Laws

commutative

associative

leftIdentity

rightIdentity

identity

leftZero

rightZero

zero

leftInverse

rightInverse

inverse

leftDistributive

rightDistributive

homomorphism

rightCascade

leftCascade