Theorem MulEquiv.isCancelMulZero_iff

Modification history