Mathlib v3 is deprecated. Go to Mathlib v4

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)

Estimated changes