OAI/Probability/UnimodularPercolation/Encounter/ZeroIntensity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Critical limits and zero encounter intensity.

  1. theorem OAI.Percolation.branchCount_three line 19
  2. theorem OAI.Percolation.eventually_conn_of_limit line 41
  3. theorem OAI.Percolation.eventually_encounterCount_three line 51
  4. theorem OAI.Percolation.critical_encounter_density_zero line 99
  5. theorem OAI.Percolation.critical_encounter_root_zero line 196
  6. theorem OAI.Percolation.critical_encounter_zero line 216