OAI/Probability/ThorpRouting/Adaptive/
1776 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- AlternatingPerm.lean 89 declarations
- AssignmentSlots.lean 71 declarations
- BenesCoins.lean 65 declarations
- BlockProduct.lean 80 declarations
- Coins.lean 86 declarations
- ExposedCoins.lean 63 declarations
- HeightDecay.lean 74 declarations
- InputTree.lean 65 declarations
- InsertionPerm.lean 57 declarations
- Main.lean 81 declarations
- MainStatement.lean 56 declarations
- Model.lean 48 declarations
- ModifiedReverseEquiv.lean 82 declarations
- ModifiedRoutingMoment.lean 56 declarations
- ModifiedStageEquiv.lean 60 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
- SiteEquiv.lean 71 declarations
- TailShapes.lean 77 declarations
- TupleKernel.lean 57 declarations
- TypedSet.lean 71 declarations