mathlib3

feat(data/finset): define `finset.Ico.subset_iff`

#1574

Merged