Theorem MulOpposite.op_ratCast

Modification history