OAI/Probability/BenjaminiSchramm/MinimumHeightHit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.restrictedHit_upper line 13
2. lemma OAI.Percolation.BenjaminiSchramm.restrictedHit_finiteWitness line 18
3. lemma OAI.Percolation.BenjaminiSchramm.unrestricted_hit_minimum_disjoint line 25
4. theorem OAI.Percolation.BenjaminiSchramm.unrestricted_hit_minimum_bound line 36
5. theorem OAI.CriticalPercolation.BondGraph.unrestricted_adjusted_upward_hit_bound line 66