Theorem MulOpposite.unop_neg

Modification history