Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-13 17:23 ad5a81d3

View on Github →

chore(measure_theory/measure_space): add some simp/mono tags (#6221)

Estimated changes

Modified src/measure_theory/measure_space.lean

modified theorem measure_theory.ae_eq_empty

modified theorem measure_theory.measure_mono_ae

modified theorem measure_theory.union_ae_eq_right