OAI/Probability/CriticalPercolation/GraphGeometry/WiredEvent.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.wiredEvent line 22
2. lemma OAI.CriticalPercolation.BondGraph.wiredEvent_mono line 25
3. lemma OAI.CriticalPercolation.BondGraph.earlier_pivot_iff line 30
4. lemma OAI.CriticalPercolation.BondGraph.reachable_force_rewire line 45
5. lemma OAI.CriticalPercolation.BondGraph.wired_force_rewire line 52
6. lemma OAI.CriticalPercolation.BondGraph.phase_pair_force line 60
7. lemma OAI.CriticalPercolation.BondGraph.phase_delta_rewire line 79
8. lemma OAI.CriticalPercolation.BondGraph.phase_pair_mass line 93
9. lemma OAI.CriticalPercolation.BondGraph.phase_avoid_rewire line 110
10. lemma OAI.CriticalPercolation.BondGraph.phase_target_rewire line 125