Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes