no goals
α : Type u_1
β : Type ?u.139216
γ : Type ?u.139219
δ : Type ?u.139222
inst✝² : TopologicalSpace α
inst✝¹ : TopologicalSpace β
inst✝ : TopologicalSpace γ
f : α → β
s : Set α
hs : IsOpen s
⊢ IsOpen (id '' s)
rwa [image_id]