no goals
α : Type u_2
β : Type u_1
γ : Type ?u.91374
ι : Sort ?u.91377
ι' : Sort ?u.91380
f✝ : ι → α
s✝ t : Set α
f : α → β
s : Set β
⊢ f '' (f ⁻¹' s)ᶜ = range f \ s
rw [compl_eq_univ_diff, image_diff_preimage, image_univ]