OAI/Probability/CriticalPercolation/Growth/HomogeneousCover.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.squareMass_around line 24
2. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.sum_around line 34
3. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.energy_around line 43
4. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.translated_poincare line 58
5. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.cover_mass_energy line 84
6. theorem OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.harmonic_cover_kernel_bound line 114