no goals
α : Type u_1
β : Type ?u.118128
γ : Type ?u.118131
γ₂ : Type ?u.118134
δ : Type ?u.118137
ι : Sort y
s t u : Set α
inst✝³ : TopologicalSpace α
inst✝² : SecondCountableTopology α
inst✝¹ : LinearOrder α
inst✝ : OrderTopology α
⊢ SecondCountableTopology α
infer_instance