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