OAI/Probability/CriticalPercolation/Modular/UnimodularUnique.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.critical_adjacent_bound line 19
2. lemma OAI.CriticalPercolation.BondGraph.UnimodularRoot.critical_adjacent_distinctInfinite_null line 41
3. lemma OAI.CriticalPercolation.BondGraph.atMostOneInfinite_ae_of_adjacent_null line 62
4. theorem OAI.CriticalPercolation.BondGraph.UnimodularRoot.critical_atMostOneInfinite_ae line 88
5. theorem OAI.CriticalPercolation.BondGraph.UnimodularRoot.exponential_critical_null line 97