Theorem MulOpposite.op_injective

Modification history