OAI/Probability/BenjaminiSchramm/FiniteEnergyModification.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.finiteModification line 14
2. lemma OAI.Percolation.BenjaminiSchramm.forceOn_finitePattern_eq line 17
3. lemma OAI.Percolation.BenjaminiSchramm.finiteBondPattern_pairwise line 26
4. lemma OAI.Percolation.BenjaminiSchramm.iUnion_finiteBondPattern line 37
5. lemma OAI.Percolation.BenjaminiSchramm.forced_event_dependsOn_compl line 51
6. lemma OAI.Percolation.BenjaminiSchramm.finiteModification_probability line 67
7. theorem OAI.Percolation.BenjaminiSchramm.finite_energy_modification_bound line 102