Theorem norm_sub_sq

Modification history