Commit 2025-11-20 21:22 5495d7e3
View on Github →feat: aestronglyMeasurable limit if converge in measure (#31791)
We prove that if a family of AEStronglyMeasurable functions converges in measure to f, then f is also AEStronglyMeasurable. The main motivation is to prove this lemma in the Brownian motion project: https://github.com/RemyDegenne/brownian-motion/pull/291.