OAI/Probability/BenjaminiSchramm/FourArmGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.WalkQuartet line 10
2. lemma OAI.Percolation.BenjaminiSchramm.WalkQuartet.swap_left line 15
3. lemma OAI.Percolation.BenjaminiSchramm.WalkQuartet.swap_pairs line 23
4. lemma OAI.Percolation.BenjaminiSchramm.walk_disjoint_mono line 32
5. lemma OAI.Percolation.BenjaminiSchramm.quartet_of_split_arm line 36
6. lemma OAI.Percolation.BenjaminiSchramm.three_walks_from_reachable line 55
7. theorem OAI.Percolation.BenjaminiSchramm.walkQuartet_of_reachable line 88