Theorem MulOpposite.unop_op

Modification history