OAI/Combinatorics/PolynomialVacuum/Cylinder/
837 declarations, 0 contain sorry, 0 declared as axioms; 87 files
Files
- ActiveWeight.lean 9 declarations
- ArcBoundaryValues.lean 7 declarations
- ArcClassification.lean 8 declarations
- ArcDecay.lean 12 declarations
- ArcEncoding.lean 10 declarations
- ArcIsometries.lean 16 declarations
- ArcLength.lean 7 declarations
- ArcMajorant.lean 11 declarations
- ArcNorm.lean 5 declarations
- ArcPool.lean 14 declarations
- ArcRemoval.lean 9 declarations
- ArcResize.lean 12 declarations
- ArcSeparation.lean 3 declarations
- ArcSystems.lean 7 declarations
- ArcVerticalWeight.lean 9 declarations
- BandProduct.lean 3 declarations
- BottomCalibration.lean 7 declarations
- BottomTurn.lean 5 declarations
- BoundaryArc.lean 10 declarations
- BoundaryCanonical.lean 5 declarations
- BoundaryDecomposition.lean 8 declarations
- BoundaryUniqueness.lean 11 declarations
- Box.lean 7 declarations
- BridgeMass.lean 5 declarations
- BridgeRenewal.lean 13 declarations
- ClosedCancellation.lean 6 declarations
- ClosedDomain.lean 8 declarations
- ClosedStack.lean 8 declarations
- CodedPartition.lean 11 declarations
- CombinedArcs.lean 13 declarations
- Contour.lean 29 declarations
- CycleRigidity.lean 8 declarations
- DomainWeight.lean 10 declarations
- EmptyBoundary.lean 5 declarations
- Ends.lean 13 declarations
- FiniteArcs.lean 9 declarations
- FinitePartition.lean 15 declarations
- Flow.lean 29 declarations
- FlowPhase.lean 13 declarations
- HalfArcs.lean 7 declarations
- IceCurrent.lean 11 declarations
- Indicator.lean 6 declarations
- LayerCurrent.lean 12 declarations
- Lift.lean 22 declarations
- LimitFactor.lean 10 declarations
- LocalTurn.lean 8 declarations
- LowestRotation.lean 1 declarations
- NetworkComponents.lean 8 declarations
- NetworkCurrent.lean 8 declarations
- NetworkCycles.lean 15 declarations
- NetworkDecomposition.lean 10 declarations
- NetworkFromFlow.lean 23 declarations
- NetworkVertices.lean 7 declarations
- NoSource.lean 7 declarations
- OpenCurrent.lean 8 declarations
- OpenEquiv.lean 5 declarations
- OpenIce.lean 12 declarations
- OpenNetwork.lean 14 declarations
- OpenWord.lean 16 declarations
- OrientationEquiv.lean 10 declarations
- PolygonMinimality.lean 7 declarations
- PolygonNetwork.lean 9 declarations
- RankOne.lean 10 declarations
- Repeat.lean 7 declarations
- Resolvent.lean 3 declarations
- Separation.lean 14 declarations
- StackCurrent.lean 12 declarations
- StackEquiv.lean 9 declarations
- StackProperties.lean 8 declarations
- StackRecovery.lean 10 declarations
- StackSeams.lean 8 declarations
- StackWeight.lean 3 declarations
- StripArcs.lean 10 declarations
- Support.lean 9 declarations
- SystemCurrent.lean 8 declarations
- SystemMerge.lean 9 declarations
- SystemParts.lean 11 declarations
- SystemResize.lean 9 declarations
- SystemTranslation.lean 14 declarations
- SystemUniqueness.lean 5 declarations
- ThreeSeams.lean 10 declarations
- Translation.lean 18 declarations
- TurnMin.lean 7 declarations
- Turning.lean 2 declarations
- TwoOrientations.lean 4 declarations
- WeightFactor.lean 10 declarations
- WordArray.lean 1 declarations