Theorem quotient_norm_neg

Modification history