Theorem norm_add_mul_self_real

Modification history