OAI/Probability/ThorpRouting/Tail/
1627 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- AlternatingPerm.lean 88 declarations
- AssignmentSlots.lean 71 declarations
- BenesCoins.lean 65 declarations
- BlockProduct.lean 80 declarations
- Coins.lean 85 declarations
- ExposedCoins.lean 63 declarations
- HeightDecay.lean 74 declarations
- InputTree.lean 65 declarations
- InsertionPerm.lean 57 declarations
- Main.lean 63 declarations
- MainStatement.lean 56 declarations
- Model.lean 53 declarations
- ModifiedReverseEquiv.lean 82 declarations
- ModifiedRoutingMoment.lean 56 declarations
- ModifiedStageEquiv.lean 63 declarations
- ParallelFollow.lean 85 declarations
- ParallelFreshPre.lean 61 declarations
- PriorPaths.lean 80 declarations
- Representative.lean 90 declarations
- RotationMeeting.lean 75 declarations
- ShapePartitionEquiv.lean 76 declarations
- TailShapes.lean 71 declarations
- TypedMarks.lean 68 declarations