no goals
α : Type u_1
β : Type u_2
γ : Type ?u.55826
δ : Type ?u.55829
e✝ : LocalEquiv α β
e'✝ : LocalEquiv β γ
e e' : LocalEquiv α β
h : e ≈ e'
⊢ e.target = e'.target
simp only [← image_source_eq_target, ← source_eq h, h.2.image_eq]