Theorem MulOpposite.isLeftCancelMulZero_iff

Modification history