OAI/Combinatorics/HoneycombCorridor/
733 declarations, 0 contain sorry, 0 declared as axioms; 44 files
Files
- Basic.lean 37 declarations
- BoundaryArcs.lean 13 declarations
- BoundaryCharge.lean 16 declarations
- BoundaryContainment.lean 9 declarations
- BoundaryFlux.lean 16 declarations
- BridgeFiniteness.lean 9 declarations
- Bridges.lean 26 declarations
- Cells.lean 11 declarations
- CollisionCancellation.lean 9 declarations
- CollisionGrouping.lean 8 declarations
- CollisionHistories.lean 17 declarations
- CollisionPhase.lean 13 declarations
- CollisionStems.lean 17 declarations
- CollisionWeights.lean 6 declarations
- Contours.lean 33 declarations
- ConvexCuts.lean 13 declarations
- ConvexDomains.lean 8 declarations
- Convexity.lean 17 declarations
- CorridorTransfer.lean 27 declarations
- Currents.lean 13 declarations
- Curvature.lean 22 declarations
- CycleSplice.lean 18 declarations
- EdgeFlow.lean 17 declarations
- EulerRank.lean 1 declarations
- Excursions.lean 49 declarations
- FaceBoundary.lean 15 declarations
- Incidence.lean 34 declarations
- IntegerPotential.lean 17 declarations
- LateralLength.lean 7 declarations
- LateralMass.lean 12 declarations
- PolygonGeometry.lean 26 declarations
- PolygonNesting.lean 6 declarations
- PolygonSize.lean 13 declarations
- Polygons.lean 28 declarations
- PotentialSupport.lean 9 declarations
- RationalPotential.lean 17 declarations
- RaySeparation.lean 13 declarations
- Reflection.lean 25 declarations
- ReturnCycles.lean 21 declarations
- SpatialDecay.lean 8 declarations
- StripDecay.lean 11 declarations
- StripWindows.lean 9 declarations
- Traversals.lean 19 declarations
- VisitRecursion.lean 18 declarations