Theorem MulOpposite.smul_eq_mul_unop

Modification history