∫ Утверждение Mathlib
locPathConnectedSpace
Mathlib.Topology.Connected.LocPathConnected
URI: https://scilib.ai/kg/mathlib#AlexandrovDiscrete.locPathConnectedSpace
∫ Утверждение Mathlib
Mathlib.Topology.Connected.LocPathConnected
URI: https://scilib.ai/kg/mathlib#AlexandrovDiscrete.locPathConnectedSpace