OAI/Probability/CriticalPercolation/GraphGeometry/EraseBond.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.eraseBond line 18
2. lemma OAI.CriticalPercolation.BondGraph.eraseBond_ends_ne line 21
3. lemma OAI.CriticalPercolation.BondGraph.eraseBond_openGraph line 24
4. lemma OAI.CriticalPercolation.BondGraph.eraseBond_subgraph line 43
5. lemma OAI.CriticalPercolation.BondGraph.knownGraph_le_eraseBond line 48
6. lemma OAI.CriticalPercolation.BondGraph.openGraph_eq_eraseBond_sup line 56
7. lemma OAI.CriticalPercolation.BondGraph.eraseBond_openGraph_force_false line 69