Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-09 10:46 b5eddd80

View on Github →

fix(data/set/basic): mark subset.refl as @[refl]

Estimated changes

Modified analysis/measure_theory/outer_measure.lean

Modified data/set/basic.lean

modified theorem set.subset.refl