no goals
α : Type u_1
β : Type ?u.5277
inst✝³ : TopologicalSpace α
inst✝² : TopologicalSpace β
inst✝¹ : QuasiSober α
inst✝ : IrreducibleSpace α
⊢ IsGenericPoint (genericPoint α) ⊤
simpa using (IrreducibleSpace.isIrreducible_univ α).genericPoint_spec