Theorem norm_smul_inv_norm'

Modification history