no goals
α : Type u_1
β : Type u_2
γ : Type ?u.52437
ι : Sort ?u.52440
ι' : Sort ?u.52443
f✝ : α → β
s✝ t✝ : Set α
f : α → β
s : Set α
t : Set β
⊢ f '' (f ⁻¹' t ∩ s) = t ∩ f '' s
simp only [inter_comm, image_inter_preimage]