Theorem IsRightCancelMulZero.to_isLeftCancelMulZero

Modification history