no goals
α : Type u_1
β : Type u_2
γ : Type ?u.45365
δ : Type ?u.45368
inst✝³ : TopologicalSpace α
inst✝² : TopologicalSpace β
inst✝¹ : TopologicalSpace γ
inst✝ : TopologicalSpace δ
e : LocalHomeomorph α β
e' : LocalHomeomorph β γ
s : Set α
t : Set β
x : α
y : β
h : IsImage e s t
⊢ IsImage e (interior s) (interior t)
simpa only [closure_compl, compl_compl] using h.compl.closure.compl