no goals
α : Type u_2
β : Type u_1
γ : Type ?u.77826
ι : Sort ?u.77829
ι' : Sort ?u.77832
f✝ : ι → α
s✝ t : Set α
f : α → β
s : Set β
⊢ f ⁻¹' (range f ∩ s) = f ⁻¹' s
rw [inter_comm, preimage_inter_range]