Theorem ContinuousLinearMap.opNorm_nonneg

Modification history