mathlib

241aad7b - feat(data/finset/interval): API for `finset.Ixx` (#9495)

feat(data/finset/interval): API for `finset.Ixx` (#9495) This proves basic results about `finset.Ixx` & co. Lemma names (should) match their `set` counterparts.