OAI/Probability/BenjaminiSchramm/SubdivisionConsequences.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Percolation.BenjaminiSchramm.percolationProbability_subdivision line 15
  2. theorem OAI.Percolation.BenjaminiSchramm.subdivision_parameter_gap line 30
  3. theorem OAI.Percolation.BenjaminiSchramm.probabilityLaw_of_subdivision line 40
  4. theorem OAI.Percolation.BenjaminiSchramm.graphDistance_subdivision line 85
  5. theorem OAI.Percolation.BenjaminiSchramm.susceptibility_subdivision_bounds line 89
  6. theorem OAI.Percolation.BenjaminiSchramm.susceptibilityLaw_of_subdivision line 144
  7. theorem OAI.Percolation.BenjaminiSchramm.PowerTail.of_sandwich line 200
  8. theorem OAI.Percolation.BenjaminiSchramm.PowerTail.of_rescale line 217
  9. theorem OAI.Percolation.BenjaminiSchramm.subdivision_event_probability_le line 232
  10. theorem OAI.Percolation.BenjaminiSchramm.subdivision_event_probability_ge line 245
  11. theorem OAI.Percolation.BenjaminiSchramm.criticalTailLaws_of_subdivision line 258