OAI/Combinatorics/Progressions/FixedDensity/
2003 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- AdaptiveCoarseTargetRegularity.lean 22 declarations
- BooleanCutReduction.lean 119 declarations
- BoundaryBernoulli.lean 55 declarations
- BundleCountingRecurrence.lean 67 declarations
- CoarseAtomBridge.lean 31 declarations
- CoarseOrderedRemoval.lean 52 declarations
- CoarseTargetRegularity.lean 9 declarations
- Conclusions.lean 51 declarations
- ConfigurationWeightedDefect.lean 45 declarations
- CountExtraction.lean 16 declarations
- Energy.lean 111 declarations
- GeneratorCells.lean 80 declarations
- HypergraphBundleEnvelopeSelection.lean 64 declarations
- HypergraphBundleFiltration.lean 79 declarations
- HypergraphBundleFrozenUniformity.lean 55 declarations
- HypergraphBundleRelativeCounting.lean 13 declarations
- HypergraphBundleSourceGoodnessBridge.lean 22 declarations
- OrderedAtomEnergy.lean 48 declarations
- OrderedBoundaryPartition.lean 69 declarations
- OrderedConfigurationCounting.lean 70 declarations
- OrderedCounting.lean 72 declarations
- OrderedFullBoundary.lean 38 declarations
- OrderedGoodAtoms.lean 59 declarations
- OrderedPattern.lean 40 declarations
- OrderedPatternPartition.lean 50 declarations
- OrderedRegularizedCells.lean 19 declarations
- OrderedRemoval.lean 110 declarations
- OrderedRemovalAssembly.lean 80 declarations
- PolynomialApproximation.lean 100 declarations
- RankwiseBundleEnvelopeSelection.lean 41 declarations
- ShortInterval.lean 8 declarations
- SimplexTelescoping.lean 52 declarations
- SourceFullBundleRemovalParameters.lean 32 declarations
- SourceFullCoarseTargetRegularity.lean 38 declarations
- SourceFullOrderedRemoval.lean 38 declarations
- StrongFullOrderedRegularity.lean 37 declarations
- StrongOrderedComplexRegularity.lean 33 declarations
- StructuredCleaning.lean 20 declarations
- TowerDominatingGrowth.lean 58 declarations