OAI/Probability/CriticalPercolation/GraphGeometry/Link.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Wiring.link line 15
2. lemma OAI.CriticalPercolation.Wiring.link_refl line 19
3. lemma OAI.CriticalPercolation.Wiring.link_symm line 21
4. lemma OAI.CriticalPercolation.Wiring.link_trans line 27
5. lemma OAI.CriticalPercolation.Wiring.edge_reachable line 39
6. theorem OAI.CriticalPercolation.Wiring.reachable_sup_edge line 44
7. lemma OAI.CriticalPercolation.Wiring.wired_pivot line 66
8. lemma OAI.CriticalPercolation.Wiring.two_pivots line 96
9. lemma OAI.CriticalPercolation.Wiring.avoid_sup_edge line 117
10. lemma OAI.CriticalPercolation.Wiring.avoid_target_sup_edge line 140