Theorem norm_add_mul_self

Modification history