no goals
α : Type u_1
β : Type u_2
γ : Type ?u.48465
ι : Sort ?u.48468
ι' : Sort ?u.48471
f : α → β
s✝ t✝ : Set α
hf : Injective f
s t : Set α
⊢ f '' s ∆ t = (f '' s) ∆ (f '' t)
simp_rw [Set.symmDiff_def, image_union, image_diff hf]