no goals
α : Type ?u.68971
β : Type u_1
γ : Type ?u.68977
ι : Sort u_2
ι' : Sort ?u.68983
ι₂ : Sort ?u.68986
κ : ι → Sort ?u.68991
κ₁ : ι → Sort ?u.68996
κ₂ : ι → Sort ?u.69001
κ' : ι' → Sort ?u.69006
s : ι → Set β
⊢ (⋃ (i : ι), s i) = (⋂ (i : ι), s iᶜ)ᶜ
simp only [compl_iInter, compl_compl]