Theorem ContinuousLinearMap.norm_smulRightL_apply

Modification history