OAI/Combinatorics/ListHadwiger/
1050 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- Assembly.lean 3 declarations
- BagAssembly.lean 9 declarations
- BagContraction.lean 21 declarations
- Basic.lean 29 declarations
- CoarseDensity.lean 14 declarations
- ColorBins.lean 17 declarations
- Concentration.lean 24 declarations
- Connectivity.lean 8 declarations
- ConnectivityTests.lean 25 declarations
- Density.lean 11 declarations
- District.lean 51 declarations
- DistrictAssembly.lean 5 declarations
- DistrictPaths.lean 17 declarations
- EggCover.lean 71 declarations
- Eligibility.lean 10 declarations
- Exchanges.lean 31 declarations
- Footprint.lean 36 declarations
- Fractional.lean 59 declarations
- FractionalSampling.lean 34 declarations
- History.lean 50 declarations
- HistoryBounds.lean 11 declarations
- Incidence.lean 19 declarations
- Knitting.lean 17 declarations
- Main.lean 6 declarations
- MinorModels.lean 15 declarations
- Model.lean 6 declarations
- PairedSources.lean 12 declarations
- Palette.lean 23 declarations
- PaletteSampling.lean 13 declarations
- PathPacking.lean 11 declarations
- Recursion.lean 7 declarations
- RecursiveDistricts.lean 14 declarations
- RecursiveGeometry.lean 6 declarations
- RecursiveInduction.lean 4 declarations
- RecursiveJunction.lean 3 declarations
- Reduction.lean 1 declarations
- RoleRouting.lean 18 declarations
- Routing.lean 10 declarations
- SamplingBounds.lean 18 declarations
- SamplingConnectivity.lean 7 declarations
- Separability.lean 28 declarations
- Separators.lean 24 declarations
- SmallList.lean 43 declarations
- Stage.lean 23 declarations
- StageAdvance.lean 18 declarations
- StageDeletion.lean 37 declarations
- StageExtension.lean 38 declarations
- StagePacking.lean 2 declarations
- StageSampling.lean 3 declarations
- StageSeparation.lean 13 declarations
- TerminalGrouping.lean 27 declarations
- Thinning.lean 10 declarations
- WeightedBound.lean 38 declarations