no goals
α : Type u_1
β : Type ?u.198171
γ : Type ?u.198174
δ : Type ?u.198177
inst✝² : TopologicalSpace α
inst✝¹ : TopologicalSpace β
inst✝ : TopologicalSpace γ
s : Set α
hs : IsClosed s
⊢ IsClosed (id '' s)
rwa [image_id]