Theorem ContinuousLinearMap.opNorm_neg

Modification history