Commit 2021-03-26 08:06 0977b203
View on Github →feat(measure_theory/interval_integral): weaken assumption in integral_non_ae_measurable (#6858)
I don't see any reason for having a strict inequality here.
feat(measure_theory/interval_integral): weaken assumption in integral_non_ae_measurable (#6858)
I don't see any reason for having a strict inequality here.