Theorem ContinuousLinearMap.opNorm_le_of_ball

Modification history