Theorem norm_sub_mul_self

Modification history