OAI/Probability/CriticalPercolation/Modular/Unimodularity.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.CriticalPercolation.BondGraph.UnimodularRoot line 14
2. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.quasiTransitive line 27
3. def OAI.CriticalPercolation.BondGraph.bondShare line 30
4. lemma OAI.CriticalPercolation.BondGraph.bondShare_pos line 32
5. lemma OAI.CriticalPercolation.BondGraph.bondShare_count line 36
6. lemma OAI.CriticalPercolation.BondGraph.Aut.bondShare line 41
7. lemma OAI.CriticalPercolation.BondGraph.Aut.incident_iff line 47
8. def OAI.CriticalPercolation.BondGraph.splitBondTransport line 52
9. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_zero line 55
10. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_row_finite line 68
11. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_column_finite line 80
12. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_aut line 95
13. lemma OAI.CriticalPercolation.BondGraph.tsum_incident_share line 103
14. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_sum_out line 114
15. lemma OAI.CriticalPercolation.BondGraph.splitBondTransport_sum_in line 132
16. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.bond_balance line 155