∫ Утверждение Mathlib
mapsTo_ball
Mathlib.Topology.MetricSpace.Lipschitz
URI: https://scilib.ai/kg/mathlib#LipschitzWith.mapsTo_ball
∫ Утверждение Mathlib
Mathlib.Topology.MetricSpace.Lipschitz
URI: https://scilib.ai/kg/mathlib#LipschitzWith.mapsTo_ball