Theorem ContinuousLinearMap.norm_smulRightL

Modification history