no goals
α : Type u_1
β : Type u_2
E : Type ?u.573263
F : Type ?u.573266
inst✝¹ : MeasurableSpace α
inst✝ : TopologicalSpace β
l l' : Filter α
f✝ g : α → β
μ ν : MeasureTheory.Measure α
f : α → β
⊢ AEStronglyMeasurable f (Measure.restrict μ ∅)
simp