mathlib3

7a918225 - feat(data/fintype/intervals): Add set.finite lemmas for integer intervals (#6365)

feat(data/fintype/intervals): Add set.finite lemmas for integer intervals (#6365) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name> Co-authored-by: Adam Topaz <adamtopaz@users.noreply.github.com>