Theorem IsRightCancelMulZero.to_isCancelMulZero

Modification history