Theorem MulOpposite.isCancelMulZero_iff

Modification history