OAI/Combinatorics/RamseyFive/Iteration/
68 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- CellScoreProcedure.lean 7 declarations
- CodedWindowStage.lean 2 declarations
- EventuallyRichScale.lean 2 declarations
- ForwardPreparedStage.lean 1 declarations
- HighWindowStage.lean 4 declarations
- InitialPolar.lean 3 declarations
- PolarIteration.lean 3 declarations
- PreparedDispatch.lean 1 declarations
- RestrictionScale.lean 3 declarations
- Scale.lean 10 declarations
- ScaleAgainstB.lean 4 declarations
- StageCuts.lean 2 declarations
- StageState.lean 9 declarations
- TerminalStream.lean 10 declarations
- WindowStage.lean 7 declarations