mathlib

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