∫ Утверждение Mathlib

opNorm_nonneg

Mathlib.Analysis.Normed.Operator.Basic

URI: https://scilib.ai/kg/mathlib#ContinuousLinearMap.opNorm_nonneg

← MathLib Explorer