OAI/Probability/CriticalPercolation/GraphGeometry/RestrictVertices.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.restrictVertices line 19
2. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_adj line 23
3. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_graph line 39
4. lemma OAI.CriticalPercolation.BondGraph.adj_mem_support line 45
5. lemma OAI.CriticalPercolation.BondGraph.walk_support_subset line 50
6. lemma OAI.CriticalPercolation.BondGraph.cluster_subset_support line 61
7. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_reachable line 66
8. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_hit_iff line 80
9. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_hitValue line 91
10. lemma OAI.CriticalPercolation.BondGraph.restrictVertices_jointHitValue line 97
11. lemma OAI.CriticalPercolation.BondGraph.finite_edge_joint_gluing line 104