class PiBase.CutPointSpace (X : Type u_1) [TopologicalSpace X] extends ConnectedSpace X : Prop

• isPreconnected_univ : IsPreconnected Set.univ
• toNonempty : Nonempty X
• all_cut (p : X) : IsCutPoint p