Theorem MulEquiv.isRightCancelMulZero_iff

Modification history