mathlib

b46f5b04 - feat(data/set/intervals): fintype instances for ℕ and ℤ (#1602)

feat(data/set/intervals): fintype instances for ℕ and ℤ (#1602) * starting on fintype instances for Icos * finishing fintypes * minor * move file * oops * redone * formatting * cleaning up