Commit 2023-10-12 12:34 42b62d41

View on Github →

feat: NullMeasurable function is AEMeasurable (#7604) This is true if the function admits an a.e. range with countably generated σ-algebra. In particular, a function is AEStronglyMeasurable iff it is NullMeasurable and it admits a separable a.e. range.

Estimated changes