Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-05 13:56 9b1b8543

View on Github →

feat(data/fintype/basic): add set.to_finset_range (#7426)

Estimated changes

added theorem set.to_finset_range