Theorem MulOpposite.op_ofNat

Modification history