OAI/Combinatorics/RamseyFive/Streams/
44 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- DependentPrivateStream.lean 4 declarations
- HighActualExtraction.lean 4 declarations
- HighSampleContradiction.lean 2 declarations
- HighThreePrepared.lean 3 declarations
- MiddleStream.lean 3 declarations
- PermutationCylinder.lean 11 declarations
- PreparedStream.lean 3 declarations
- SelectedExtraction.lean 3 declarations
- SelectedLength.lean 2 declarations
- SelectedTuple.lean 9 declarations