Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-22 01:10 3eb7424a

View on Github →

refactor(data/set/basic): remove unused hypotheses in union_inter_cancel_* (#551)

Estimated changes

Modified analysis/measure_theory/outer_measure.lean

Modified data/set/basic.lean

modified theorem set.union_inter_cancel_left

modified theorem set.union_inter_cancel_right