OAI/Probability/CriticalPercolation/GraphGeometry/Connects.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.connects line 20
2. lemma OAI.CriticalPercolation.BondGraph.connects_mono line 22
3. lemma OAI.CriticalPercolation.BondGraph.eraseBond_force line 25
4. lemma OAI.CriticalPercolation.BondGraph.connects_eq_wired_deleted line 36
5. lemma OAI.CriticalPercolation.BondGraph.pivot_eq_deleted_joined line 44
6. lemma OAI.CriticalPercolation.BondGraph.deleted_joined_pin_eq line 59
7. lemma OAI.CriticalPercolation.BondGraph.delta_eq_deleted_joined line 69
8. lemma OAI.CriticalPercolation.Wiring.pivot_component_avoids line 101