Theorem ContinuousLinearMap.op_norm_lsmul_le

Modification history