Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-16 22:13 95a3c47e

View on Github →

fix(.): fix build

Estimated changes

Modified analysis/measure_theory/measurable_space.lean

Modified analysis/measure_theory/measure_space.lean

Modified analysis/measure_theory/outer_measure.lean

Modified analysis/topology/topological_space.lean

Modified data/finset.lean

modified theorem finset.disjoint_empty_left

modified theorem finset.disjoint_empty_right

added theorem finset.inf_eq_inter

added theorem finset.sup_eq_union

Modified data/set/disjointed.lean