no goals
α : Type u
β : Type v
ι : Type ?u.31419
π : ι → Type ?u.31424
inst✝ : TopologicalSpace α
s✝ t✝ u v s t : Set α
hs : IsPreconnected s
ht : IsClopen t
hne : Set.Nonempty (s ∩ t)
⊢ s ⊆ t ∪ tᶜ
simp