Theorem MeasureTheory.TendstoInMeasure.aestronglyMeasurable

Modification history

2025-11-20 21:22
Mathlib/MeasureTheory/Function/ConvergenceInMeasure.lean
feat: aestronglyMeasurable limit if converge in measure (#31791) …
Added MeasureTheory.TendstoInMeasure.aestronglyMeasurableView on Github →