Theorem ContinuousLinearMap.opNorm_lsmul_le

Modification history