Theorem norm_smul

Modification history