Theorem ContinuousLinearMap.nnnorm_smulRight_apply

Modification history