Theorem quotient_norm_sub_rev

Modification history