Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-04 10:43 5e5f1e25

View on Github →

fix(data/*/Ico): succ_top is too aggressive as a simp lemma (#678)

Estimated changes

Modified src/data/finset.lean

modified theorem finset.Ico.succ_top

Modified src/data/list/basic.lean

modified theorem list.Ico.succ_top

Modified src/data/multiset.lean

modified theorem multiset.Ico.succ_top