mathlib3

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

#678

Merged