OAI/Probability/CriticalPercolation/Criticality/ComponentCritical.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.image_restrict line 17
2. def OAI.CriticalPercolation.BondGraph.domainComponent line 26
3. lemma OAI.CriticalPercolation.BondGraph.domainComponent_subset line 28
4. lemma OAI.CriticalPercolation.BondGraph.domainComponent_self line 33
5. lemma OAI.CriticalPercolation.BondGraph.domainComponent_closed line 36
6. lemma OAI.CriticalPercolation.BondGraph.domainComponent_connected line 40
7. lemma OAI.CriticalPercolation.BondGraph.OpenRay.reachable_start line 69
8. lemma OAI.CriticalPercolation.BondGraph.OpenRay.percolates line 75
9. def OAI.CriticalPercolation.BondGraph.OpenRay.induce line 81
10. lemma OAI.CriticalPercolation.BondGraph.OpenRay.mem_domainComponent line 91
11. lemma OAI.CriticalPercolation.BondGraph.ae_restriction_not_percolates line 101
12. theorem OAI.CriticalPercolation.BondGraph.bounded_ray_critical_component line 113