mathlib3

feat(data/set/intervals): fintype instances for ℕ and ℤ

#1602

Merged