OAI/Combinatorics/PlanarL1/
2590 declarations, 0 contain sorry, 0 declared as axioms; 63 files
Files
- Ambient.lean 27 declarations
- BandTrees.lean 34 declarations
- Bands.lean 51 declarations
- Clipping.lean 24 declarations
- Columns.lean 36 declarations
- CoupledState.lean 29 declarations
- Crossings.lean 40 declarations
- CutExtraction.lean 32 declarations
- Cuts.lean 55 declarations
- Dilation.lean 44 declarations
- DiskCrossing.lean 12 declarations
- Distance.lean 73 declarations
- Drawing.lean 41 declarations
- Embedding.lean 4 declarations
- Execution.lean 25 declarations
- FamilyPersistence.lean 78 declarations
- Fields.lean 50 declarations
- FiniteL1.lean 42 declarations
- Gluing.lean 31 declarations
- Growth.lean 53 declarations
- HeightTree.lean 73 declarations
- Increments.lean 51 declarations
- Interpolation.lean 64 declarations
- Layout.lean 40 declarations
- LocalPersistence.lean 29 declarations
- MainCells.lean 50 declarations
- MainFamily.lean 42 declarations
- MainGain.lean 22 declarations
- MainPersistence.lean 22 declarations
- MainStep.lean 45 declarations
- Movement.lean 31 declarations
- Noncrossing.lean 34 declarations
- Order.lean 11 declarations
- OrderedState.lean 45 declarations
- OrdinaryState.lean 42 declarations
- PairGeometry.lean 12 declarations
- PairSelection.lean 82 declarations
- Parameters.lean 25 declarations
- Persistence.lean 16 declarations
- PlanarMetric.lean 42 declarations
- Polygonal.lean 65 declarations
- Probability.lean 22 declarations
- RadialTree.lean 134 declarations
- Retubing.lean 32 declarations
- ScaleHistory.lean 43 declarations
- Schedule.lean 58 declarations
- SecondaryBatch.lean 61 declarations
- SecondaryCells.lean 60 declarations
- SecondaryFamily.lean 48 declarations
- SecondaryGain.lean 39 declarations
- SecondaryStep.lean 64 declarations
- SeedPacking.lean 35 declarations
- SelectedGain.lean 34 declarations
- Separation.lean 29 declarations
- Statement.lean 4 declarations
- Stem.lean 22 declarations
- StepSuccess.lean 16 declarations
- Surgery.lean 60 declarations
- SurvivingSeeds.lean 46 declarations
- Threshold.lean 53 declarations
- Tiling.lean 28 declarations
- TreeDisk.lean 23 declarations
- WeightedMetric.lean 55 declarations