Theorem IsLeftCancelMulZero.to_IsRightCancelMulZero

Modification history