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:
- reviewed and applied the coding style: coding, naming
- reviewed and applied the documentation requirements
- make sure definitions and lemmas are put in the right files
- make sure definitions and lemmas are not redundant For reviewers: code review check list