Theorem MulEquiv.isLeftCancelMulZero_iff

Modification history