∫ Утверждение Mathlib
mem_closure_iff_ball
Mathlib.Topology.UniformSpace.Defs
URI: https://scilib.ai/kg/mathlib#UniformSpace.mem_closure_iff_ball
∫ Утверждение Mathlib
Mathlib.Topology.UniformSpace.Defs
URI: https://scilib.ai/kg/mathlib#UniformSpace.mem_closure_iff_ball