Theorem ContinuousLinearMap.opNorm_prod

Modification history