Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-30 17:35 aadfde68

View on Github →

feat(data/fintype): fintype.card_subtype_lt (#1635)

  • feat(data/fintype): fintype.card_subtype_lt
  • Update src/data/fintype.lean Co-Authored-By: Rob Lewis Rob.y.lewis@gmail.com

Estimated changes