Theorem lp.norm_const_smul

Modification history