OAI/Probability/BenjaminiSchramm/ModularCrossingRate.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Percolation.BenjaminiSchramm.supermultiplicative_exp_bound line 12
  2. lemma OAI.CriticalPercolation.BondGraph.infimalUpwardCrossing_le_one line 45
  3. lemma OAI.CriticalPercolation.BondGraph.upwardHalfspaceHit_hasFiniteOpenWitness line 50
  4. lemma OAI.CriticalPercolation.BondGraph.Aut.upwardHalfspaceHit_preimage line 56
  5. lemma OAI.CriticalPercolation.BondGraph.Aut.upwardHalfspaceHit_measure line 82
  6. theorem OAI.CriticalPercolation.BondGraph.infimalUpwardCrossing_bound_at_limit line 89
  7. theorem OAI.Percolation.BenjaminiSchramm.subcritical_infimal_upward_crossing_bound line 126
  8. theorem OAI.Percolation.BenjaminiSchramm.critical_infimal_upward_crossing_bound line 158