Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-12 17:09 36a061b6

View on Github →

feat(analysis/measure_theory): outer_measures form a complete lattice

Estimated changes

Modified analysis/measure_theory/measure_space.lean

Modified analysis/measure_theory/outer_measure.lean

added theorem measure_theory.outer_measure.outer_measure_eq

modified theorem measure_theory.outer_measure.subadditive