FormalConjecturesForMathlib/Combinatorics/
525 declarations, 0 contain sorry, 0 declared as axioms; 68 files
Folders
- AP/ 1 files, 36 declarations
- Additive/ 6 files, 57 declarations
- Digraph/ 1 files, 7 declarations
- Hypergraph/ 4 files, 69 declarations
- LimitObjects/ 2 files, 15 declarations
- Ramsey/ 1 files, 12 declarations
- SetFamily/ 4 files, 25 declarations
- SetTheory/ 1 files, 1 declarations
- SimpleGraph/ 44 files, 269 declarations
Files
- Basic.lean 22 declarations
- LatinSquare.lean 5 declarations
- Ramsey.lean 3 declarations
- YoungDiagram.lean 4 declarations