OAI/Probability/CriticalPercolation/Growth/
265 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- CosetBallIndex.lean 9 declarations
- CosetBounded.lean 12 declarations
- CosetFiniteCore.lean 6 declarations
- CosetFiniteIndex.lean 2 declarations
- CosetGeometry.lean 19 declarations
- CosetImageGrowth.lean 3 declarations
- CosetIndicability.lean 4 declarations
- CosetIntegerKernel.lean 2 declarations
- CosetKernelDescent.lean 2 declarations
- CosetNormalClosure.lean 11 declarations
- CosetNormalPromotion.lean 3 declarations
- CosetPresentation.lean 1 declarations
- CosetSparseGrowth.lean 7 declarations
- CosetSubgroupGenerators.lean 4 declarations
- CosetTransfer.lean 9 declarations
- GraphQuotientGrowth.lean 2 declarations
- GraphRelativeGrowth.lean 8 declarations
- HomogeneousAverage.lean 11 declarations
- HomogeneousBallPacking.lean 3 declarations
- HomogeneousCover.lean 6 declarations
- HomogeneousDimension.lean 4 declarations
- HomogeneousGeometry.lean 36 declarations
- HomogeneousGrowth.lean 14 declarations
- HomogeneousPolynomialSpace.lean 7 declarations
- HomogeneousTransport.lean 7 declarations
- KernelGrowthDescent.lean 5 declarations
- PolynomialFolner.lean 4 declarations
- PolynomialGrowthDescent.lean 21 declarations
- RealSparseDoubling.lean 2 declarations
- SparseDoubling.lean 1 declarations
- SparseEnergyRatio.lean 1 declarations
- SuperpolynomialAlgebra.lean 4 declarations
- SuperpolynomialContradiction.lean 1 declarations
- SuperpolynomialMain.lean 1 declarations
- SuperpolynomialRadius.lean 3 declarations
- WordBallPacking.lean 12 declarations
- WordLengthGeometry.lean 18 declarations