Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-23 19:20 14bcb2e0

View on Github →

feat(measure_theory/measure/measure_space_def): some simple lemmas about measures and intersection (#9306) From #2819

Estimated changes