Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-09 11:34 e8818faf

View on Github →

feat(data/set/finite): add finite_lt_nat (#807)

Estimated changes

added theorem set.finite_lt_nat