Theorem MulOpposite.nnnorm_op

Modification history