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

• arc_connected_basis (x : X) : (nhds x).HasBasis (fun (s : Set X) => x ∈ s ∧ IsOpen s ∧ ArcConnectedSpace ↑s) id