OAI/Probability/CriticalPercolation/GraphGeometry/OrbitalPower.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.powerOn line 16
2. lemma OAI.CriticalPercolation.BondGraph.powerOn_reachable_of_close line 21
3. lemma OAI.CriticalPercolation.BondGraph.powerOn_reachable_lift line 27
4. lemma OAI.CriticalPercolation.BondGraph.powerOn_connected line 46
5. lemma OAI.CriticalPercolation.BondGraph.powerOn_finite_neighbors line 59
6. lemma OAI.CriticalPercolation.BondGraph.powerOn_walk_bound line 64
7. lemma OAI.CriticalPercolation.BondGraph.powerOn_ball_bound line 73
8. lemma OAI.CriticalPercolation.BondGraph.powerOn_ball_card_le line 79