OAI/Combinatorics/ProgressionColoring/
1029 declarations, 0 contain sorry, 0 declared as axioms; 115 files
Files
- AdaptiveMesh.lean 68 declarations
- AdaptiveMeshBreakpoints.lean 11 declarations
- AdaptiveMeshCounting.lean 24 declarations
- AffineEntropy.lean 4 declarations
- AffineEntropyNat.lean 1 declarations
- AnchoredPatternDefinitions.lean 15 declarations
- AnchoredPatterns.lean 25 declarations
- Arrangement.lean 25 declarations
- Asymptotics.lean 10 declarations
- Basic.lean 26 declarations
- BlockCoverage.lean 23 declarations
- ClosestReturn.lean 5 declarations
- ClosestReturnEstimates.lean 4 declarations
- ComparisonOutputs.lean 1 declarations
- ConstructionArithmetic.lean 21 declarations
- ConstructionDichotomyDenominator.lean 2 declarations
- ConstructionDichotomyScales.lean 8 declarations
- ConstructionHeavyLabelReturn.lean 7 declarations
- ConstructionHeavyLight.lean 6 declarations
- ConstructionModel.lean 27 declarations
- ConstructionModelBounds.lean 3 declarations
- ConstructionSignatureBudget.lean 8 declarations
- ConstructionWordFamily.lean 3 declarations
- CoshBound.lean 1 declarations
- CyclicBasic.lean 1 declarations
- CyclicBlockLabels.lean 6 declarations
- CyclicColoring.lean 8 declarations
- CyclicHeavyIntervalWidth.lean 2 declarations
- CyclicModel.lean 32 declarations
- CyclicRationalReturn.lean 1 declarations
- CyclicSignatures.lean 6 declarations
- CyclicWitness.lean 3 declarations
- Dichotomy.lean 8 declarations
- DigitProduct.lean 10 declarations
- DigitProductBounds.lean 2 declarations
- Dilation.lean 15 declarations
- EligibleOuterColoring.lean 3 declarations
- EligiblePatternTests.lean 19 declarations
- EligibleRecordedSupport.lean 6 declarations
- FairBitProbability.lean 6 declarations
- FairBitTail.lean 8 declarations
- FairOuterColoring.lean 3 declarations
- FiniteGaps.lean 2 declarations
- FiniteLocalLemma.lean 12 declarations
- FiniteLocalLemmaMeasure.lean 4 declarations
- FiniteProbability.lean 27 declarations
- GenericAsymptotics.lean 10 declarations
- GlobalLabelWords.lean 26 declarations
- Growth.lean 3 declarations
- GrowthConsequences.lean 4 declarations
- GrowthRates.lean 3 declarations
- HeavyIntervalWidth.lean 3 declarations
- HeavyLabelReturn.lean 8 declarations
- HeavyReturnFinPath.lean 1 declarations
- HeavyReturnSeparation.lean 1 declarations
- HeavyReturnWidth.lean 1 declarations
- KeyMultiplicity.lean 13 declarations
- LabelCounts.lean 12 declarations
- LabelFiber.lean 4 declarations
- LabelIncidences.lean 5 declarations
- LargeColor.lean 17 declarations
- LargeColorConsequences.lean 2 declarations
- LargeColorGrowth.lean 14 declarations
- LiteralLabelRectangles.lean 11 declarations
- LocalTail.lean 6 declarations
- LongPeriodBlocks.lean 6 declarations
- LongPeriodColoring.lean 3 declarations
- LongPeriodEligibility.lean 2 declarations
- LongPeriodRegularGrid.lean 2 declarations
- LongPeriodRegularity.lean 3 declarations
- Main.lean 5 declarations
- MeshPartitions.lean 4 declarations
- Model.lean 4 declarations
- ModelGeometry.lean 3 declarations
- NormBands.lean 11 declarations
- OuterBalanced.lean 1 declarations
- OuterBudget.lean 3 declarations
- OuterChoiceDefinitions.lean 1 declarations
- OuterColoring.lean 8 declarations
- OuterDichotomy.lean 1 declarations
- OuterFamilies.lean 2 declarations
- OuterIncidence.lean 4 declarations
- OuterModelChoice.lean 2 declarations
- OuterPatternColoring.lean 2 declarations
- OuterRowRealBound.lean 2 declarations
- OuterRows.lean 13 declarations
- OuterRowsMod.lean 5 declarations
- OuterTestColoring.lean 1 declarations
- OuterWordTests.lean 18 declarations
- Parameters.lean 21 declarations
- Perturbation.lean 29 declarations
- PerturbationScales.lean 9 declarations
- PrimeScale.lean 10 declarations
- PrimitiveVector.lean 6 declarations
- ProbabilityScales.lean 11 declarations
- RationalGridCount.lean 9 declarations
- RationalGridMultiplicity.lean 7 declarations
- RationalReturn.lean 7 declarations
- RationalSeparation.lean 4 declarations
- RecordedSupport.lean 16 declarations
- ResidueFiber.lean 1 declarations
- ScalarAdaptiveMesh.lean 9 declarations
- ScalarEntropy.lean 6 declarations
- ScalarMesh.lean 15 declarations
- ShortPeriodCut.lean 3 declarations
- ShortPeriodLift.lean 8 declarations
- ShortPeriodPath.lean 2 declarations
- SignatureCounting.lean 24 declarations
- SmallBoxAffinity.lean 7 declarations
- TernarySign.lean 4 declarations
- UniformBudget.lean 5 declarations
- UniformMesh.lean 21 declarations
- UniformTransfer.lean 4 declarations
- UpperBound.lean 26 declarations
- WordDichotomy.lean 3 declarations