Commit 2021-01-08 16:06 0d7ca986
View on Github →feat(measure_theory/measure_space): ae_measurable and measurable are equivalent for complete measures (#5643)
feat(measure_theory/measure_space): ae_measurable and measurable are equivalent for complete measures (#5643)