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.