∫ Утверждение Mathlib
sSup_unit_ball_eq_norm
Mathlib.Analysis.Normed.Operator.NNNorm
URI: https://scilib.ai/kg/mathlib#ContinuousLinearMap.sSup_unit_ball_eq_norm
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Operator.NNNorm
URI: https://scilib.ai/kg/mathlib#ContinuousLinearMap.sSup_unit_ball_eq_norm