Theorem MulOpposite.commute_op

Modification history