Theorem ContinuousLinearMap.opNorm_bound_of_ball_bound

Modification history