Theorem MulOpposite.unop_int_cast

Modification history