OAI/Probability/CriticalPercolation/GraphGeometry/Link2.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Sharpness.Wiring.link line 18
2. lemma OAI.CriticalPercolation.Sharpness.Wiring.link_refl line 22
3. lemma OAI.CriticalPercolation.Sharpness.Wiring.link_symm line 24
4. lemma OAI.CriticalPercolation.Sharpness.Wiring.link_trans line 30
5. lemma OAI.CriticalPercolation.Sharpness.Wiring.edge_reachable line 42
6. theorem OAI.CriticalPercolation.Sharpness.Wiring.reachable_sup_edge line 47
7. def OAI.CriticalPercolation.Sharpness.reachesTarget line 75
8. lemma OAI.CriticalPercolation.Sharpness.reachesTarget_mono line 78
9. lemma OAI.CriticalPercolation.Sharpness.reachesTarget_iff_hitEvent line 82
10. def OAI.CriticalPercolation.Sharpness.boundaryReach line 90
11. lemma OAI.CriticalPercolation.Sharpness.openGraph_force_true line 93
12. lemma OAI.CriticalPercolation.Sharpness.target_creating_iff line 107
13. lemma OAI.CriticalPercolation.Sharpness.boundaryReach_closed line 142