no goals
α : Type u_1
β : Type u_2
γ : Type ?u.796326
δ : Type ?u.796329
δ' : Type ?u.796332
ι : Sort uι
s✝ t u : Set α
inst✝³ : MeasurableSpace α
inst✝² : MeasurableSpace β
inst✝¹ : MeasurableSpace γ
inst✝ : MeasurableSpace δ
e : α ≃ᵐ β
s : Set α
⊢ MeasurableSet (↑e '' s) ↔ MeasurableSet s
rw [image_eq_preimage, measurableSet_preimage]