no goals
α : Type u_1
β : Type u_2
γ : Type ?u.782118
δ : Type ?u.782121
δ' : Type ?u.782124
ι : Sort uι
s✝ t u : Set α
inst✝³ : MeasurableSpace α
inst✝² : MeasurableSpace β
inst✝¹ : MeasurableSpace γ
inst✝ : MeasurableSpace δ
e : α ≃ᵐ β
s : Set β
h : MeasurableSet (↑e ⁻¹' s)
⊢ MeasurableSet s
simpa only [symm_preimage_preimage] using e.symm.measurable h