Theorem MulOpposite.unop_intCast

Modification history