Theorem MulOpposite.unop_comp_op

Modification history