Theorem IsLeftCancelMulZero.to_IsCancelMulZero

Modification history