OAI/Probability/ThorpRouting/SparseSaving/
1398 declarations, 0 contain sorry, 0 declared as axioms; 19 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
- Main.lean 93 declarations
- Model.lean 44 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