OAI/Combinatorics/PolynomialVacuum/Bridge/
146 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- BridgePrimitiveMass.lean 10 declarations
- BridgeRenewalFactorization.lean 7 declarations
- BridgeTail.lean 4 declarations
- BridgeTailTarget.lean 2 declarations
- BridgeWord.lean 30 declarations
- BridgeWordMass.lean 10 declarations
- ConfinedFiniteness.lean 8 declarations
- CorridorLoss.lean 5 declarations
- CorridorLossTarget.lean 1 declarations
- Excursions.lean 1 import, no declarations
- Exploration.lean 1 import, no declarations
- FiniteFlow.lean 1 import, no declarations
- FiniteOpenPath.lean 15 declarations
- FiniteVisits.lean 1 declarations
- HalfPlaneArchMass.lean 7 declarations
- LogCorridorDecay.lean 1 declarations
- NestingSystems.lean 14 declarations
- PrimitiveCounterexample.lean 19 declarations
- RationalFlow.lean 1 import, no declarations
- VisitNestingComparison.lean 12 declarations