Theorem ContinuousLinearMap.opNorm_ext

Modification history