Theorem IsLeftCancelMulZero.to_isRightCancelMulZero

Modification history