no goals
α : Type u_2
β : Type u_1
γ : Type ?u.77955
ι : Sort ?u.77958
ι' : Sort ?u.77961
f✝ : ι → α
s✝ t : Set α
f : α → β
s : Set β
⊢ f ⁻¹' (f '' (f ⁻¹' s)) = f ⁻¹' s
rw [image_preimage_eq_inter_range, preimage_inter_range]