no goals
α : Type u_1
β : Type ?u.3804
γ : Type ?u.3807
δ : Type ?u.3810
δ' : Type ?u.3813
ι : Sort ?u.3816
s✝ t✝ u : Set α
m : MeasurableSpace α
s t : Set α
hs : MeasurableSet s
h : s = t
⊢ MeasurableSet t
rwa [← h]