OAI/Probability/ThorpRouting/Harmonic/
1709 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- AlternatingPerm.lean 87 declarations
- AssignmentSlots.lean 71 declarations
- AverageMap.lean 88 declarations
- BlockProduct.lean 79 declarations
- Coins.lean 85 declarations
- CutoffMass.lean 61 declarations
- ExposedCoins.lean 63 declarations
- InputTree.lean 65 declarations
- InsertionPerm.lean 54 declarations
- Main.lean 73 declarations
- Model.lean 59 declarations
- ModifiedReverseCoins.lean 80 declarations
- ModifiedRoutingMoment.lean 55 declarations
- PairAssembleEquiv.lean 63 declarations
- PalindromeFamilyCost.lean 77 declarations
- ParallelFollow.lean 85 declarations
- PriorPaths.lean 80 declarations
- RotationMeeting.lean 75 declarations
- SandwichShuffle.lean 60 declarations
- Shapes.lean 79 declarations
- Site.lean 72 declarations
- TailShapes.lean 72 declarations
- TypedSet.lean 65 declarations
- ZeroExtend.lean 61 declarations