theorem AEMeasurable.measurable {α : Type u_2} {β : Type u_3} {m0 : MeasurableSpace α} [MeasurableSpace β] {f : α → β} {μ : MeasureTheory.Measure α} [μ.IsComplete] : AEMeasurable f μ → Measurable f

Alias of the forward direction of aemeasurable_iff_measurable.