OAI/Probability/CriticalPercolation/Growth/HomogeneousPolynomialSpace.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.harmonicSpace line 13
2. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.HasPolynomialGrowth line 27
3. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.polynomialGrowthSpace line 30
4. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.polynomialHarmonicSpace line 50
5. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.mem_polynomialHarmonicSpace line 53
6. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.polynomial_growth_iff_length line 56
7. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.finite_family_growth_bound line 70