Theorem ContinuousLinearMap.opNorm_le_of_shell

Modification history