spire.algebra
CRig is a Rig that is commutative under multiplication.
This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.
Semigroup#pow
a pow 0
CRig is a Rig that is commutative under multiplication.