Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-24 00:26 18f0093f

View on Github →

feat(measure_theory/measure/measure_space): add measure_Union_of_null_inter (#9307) From #2819

Estimated changes