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