no goals
α : Type u_1
β : Type ?u.379526
γ : Type ?u.379529
δ : Type ?u.379532
δ' : Type ?u.379535
ι : Sort uι
s✝ t u : Set α
mα : MeasurableSpace α
inst✝¹ : MeasurableSpace β
inst✝ : MeasurableSpace γ
f : α → β
g : β → γ
s : Set α
hs : MeasurableSet s
⊢ MeasurableSet (_root_.id '' s)
rwa [image_id]