Theorem norm_sub_mul_self_real

Modification history