Theorem MulOpposite.op_int_cast

Modification history