OAI/Combinatorics/SharpRamsey/Construction/
69 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- FiniteStreamTail.lean 11 declarations
- FlagConstruction.lean 13 declarations
- GraphWitness.lean 1 declarations
- InitialLaw.lean 13 declarations
- InitialRectangles.lean 9 declarations
- InitialTools.lean 7 declarations
- PrimeConstruction.lean 2 declarations
- RectangleStreamEvent.lean 12 declarations
- SourceSizes.lean 1 declarations