Theorem ContinuousLinearMap.norm_smulRight_apply

Modification history