OAI/Probability/CriticalPercolation/Modular/UnimodularAverages.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.incident_tsum_eq line 19
2. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.truncated_average_bound line 28
3. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.average_bound line 48
4. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.incident_bound line 64