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

enorm_eq_iSup_enorm

Mathlib.Topology.ContinuousMap.Bounded.Normed

URI: https://scilib.ai/kg/mathlib#BoundedContinuousFunction.enorm_eq_iSup_enorm

← MathLib Explorer