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

201. Has a generic point

• ex_generic_point : ∃ (p : X), IsGenericPoint p Set.univ