no goals
α : Type u_1
β : Type ?u.61091
γ : Type ?u.61094
ι : Sort ?u.61097
κ : ι → Sort ?u.61102
inst✝ : LE α
S : Set (UpperSet α)
s t : UpperSet α
a : α
⊢ Codisjoint ↑s ↑t ↔ Disjoint s t
simp [disjoint_iff, codisjoint_iff, SetLike.ext'_iff]