Theorem CommSemigroup.IsRightCancelMul.toIsLeftCancelMul

Modification history