no goals
α : Type u_1
β : Type u_2
γ : Type ?u.52978
ι : Sort ?u.52981
ι' : Sort ?u.52984
f✝ : α → β
s✝ t✝ : Set α
f : α → β
s : Set α
t : Set β
⊢ f '' (s \ f ⁻¹' t) = f '' s \ t
simp_rw [diff_eq, ← preimage_compl, image_inter_preimage]