OAI/Combinatorics/RamseyFive/Trees/
138 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- AmbientEviction.lean 5 declarations
- EncodedTreePotential.lean 3 declarations
- FiniteNodeSent.lean 3 declarations
- HistoryPrivateStream.lean 9 declarations
- IntegerWindows.lean 4 declarations
- PivotPotential.lean 5 declarations
- PivotTree.lean 22 declarations
- ReachedFailure.lean 8 declarations
- SurvivingWindows.lean 4 declarations
- TargetTrims.lean 3 declarations
- TreeDecoder.lean 6 declarations
- TreeExposure.lean 14 declarations
- TreeLaw.lean 4 declarations
- TreeObservationRelations.lean 3 declarations
- TreeOmissionLaw.lean 3 declarations
- TreeOrder.lean 15 declarations
- TreeOriginalTrims.lean 16 declarations
- Windows.lean 11 declarations