class PiBase.HasOpenPathComponents (X : Type u_1) [TopologicalSpace X] : Prop

• component_open (x : X) : IsOpen (pathComponent x)