OAI/Combinatorics/SharpRamsey/Trees/
178 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- ChronologicalExecution.lean 12 declarations
- ChronologicalOrder.lean 4 declarations
- ChronologicalTree.lean 10 declarations
- GoodChronology.lean 4 declarations
- OriginalTreeLoss.lean 9 declarations
- Pivot.lean 5 declarations
- PivotAlphabet.lean 9 declarations
- PivotAlphabetCost.lean 6 declarations
- PivotAlphabetMembership.lean 2 declarations
- PivotBanks.lean 15 declarations
- PivotCalls.lean 5 declarations
- PivotCaps.lean 6 declarations
- PivotDecoder.lean 12 declarations
- PivotDomains.lean 4 declarations
- PivotExecution.lean 13 declarations
- PivotFreshPair.lean 4 declarations
- PivotGeometry.lean 5 declarations
- PivotIndexCost.lean 4 declarations
- PivotLosses.lean 9 declarations
- PivotValidation.lean 2 declarations
- PreparedChronology.lean 5 declarations
- TreeDecoder.lean 16 declarations
- TreeHeight.lean 2 declarations
- TreePotential.lean 9 declarations
- TreeShapes.lean 6 declarations