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.