Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-13 17:33 67e363fd

View on Github →

feat(data/finset): finset lemmas from combinatorics (#2149) The beginnings of moving results from my combinatorics project Make sure you have:

Estimated changes