no goals
α : Type u_1
β : Type ?u.60201
β₂ : Type ?u.60204
γ : Type ?u.60207
ι : Sort ?u.60210
ι' : Sort ?u.60213
κ : ι → Sort ?u.60218
κ' : ι' → Sort ?u.60223
inst✝ : SupSet α
f g : ι → α
s : Set α
⊢ sSup s = ⨆ (a : ↑s), ↑a
rw [iSup, Subtype.range_coe]