no goals
α : Type u_1
β : Type ?u.104937
β₂ : Type ?u.104940
γ : Type ?u.104943
ι : Sort ?u.104946
ι' : Sort ?u.104949
κ : ι → Sort ?u.104954
κ' : ι' → Sort ?u.104959
inst✝ : CompleteLattice α
f g s✝ t : ι → α
a b : α
s : False → α
⊢ iSup s = ⊥
simp