mathlib3

chore(data/fintype/intervals): `simp` `Ico_*_card` lemmas

#2271

Merged