Theorem MulOpposite.commute_unop

Modification history