OAI/Probability/BenjaminiSchramm/FiniteOrbitStationary.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.orbitChainStep line 12
2. lemma OAI.Percolation.BenjaminiSchramm.orbitChainStep_nonneg line 14
3. lemma OAI.Percolation.BenjaminiSchramm.orbitChainStep_mass line 18
4. theorem OAI.Percolation.BenjaminiSchramm.finite_orbit_stationary line 24
5. theorem OAI.Percolation.BenjaminiSchramm.finite_orbit_stationary_positive line 97