Commit 2019-10-26 08:23 b46f5b04
View on Github →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
feat(data/set/intervals): fintype instances for ℕ and ℤ (#1602)