Theorem ContinuousLinearMap.opNorm_lsmul

Modification history