Theorem MulOpposite.op_intCast

Modification history