no goals
α : Type u_2
β : Type u_1
β₂ : Type ?u.64182
γ : Type ?u.64185
ι : Sort ?u.64188
ι' : Sort ?u.64191
κ : ι → Sort ?u.64196
κ' : ι' → Sort ?u.64201
inst✝ : SupSet α
f✝ g : ι → α
s : Set β
f : β → α
⊢ sSup (f '' s) = ⨆ (a : ↑s), f ↑a
rw [iSup, image_eq_range]