OAI/Probability/CriticalPercolation/Harmonic/
255 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- AlmostHarmonicCompactness.lean 3 declarations
- CayleyCaccioppoli.lean 8 declarations
- CayleyPoincare.lean 7 declarations
- CoverPoincare.lean 6 declarations
- FiniteHilbert.lean 32 declarations
- FunctionGramMatrix.lean 10 declarations
- GeneralizedGramSpectrum.lean 3 declarations
- GramGrowthScales.lean 4 declarations
- GraphHarmonicCompactness.lean 3 declarations
- GraphHarmonicLinear.lean 12 declarations
- GraphProjectedFunctions.lean 10 declarations
- GraphWalkEnergy.lean 13 declarations
- GraphWalkOperator.lean 17 declarations
- GraphWalkProbability.lean 22 declarations
- HarmonicDimensionBound.lean 4 declarations
- HarmonicEnergy.lean 3 declarations
- HarmonicFunctionSpace.lean 8 declarations
- HarmonicLinearQuotient.lean 11 declarations
- HomogeneousCaccioppoli.lean 4 declarations
- HomogeneousGramScales.lean 3 declarations
- HomogeneousPoincare.lean 5 declarations
- LazyWalkHilbert.lean 23 declarations
- LazyWalkProbability.lean 14 declarations
- PolynomialHarmonicSpace.lean 7 declarations
- ProjectedWalkFunctions.lean 9 declarations
- WalkAlmostHarmonic.lean 3 declarations
- WalkEnergyLower.lean 6 declarations
- WeakGromovHarmonic.lean 5 declarations