Theorem MulOpposite.nnnorm_unop

Modification history