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

dist_le_opNorm

Mathlib.Analysis.Normed.Operator.Basic

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

← MathLib Explorer