Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-11 20:24 9a7151c7

View on Github →

feat(data/finsupp): set.finite {m | m ≤ n} (#3029)

Estimated changes

added theorem finsupp.finite_le_nat
added theorem finsupp.finite_lt_nat