OAI/Probability/CriticalPercolation/Criticality/InfiniteNearbyPair.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.induce_clusterBand_real line 19
2. lemma OAI.CriticalPercolation.BondGraph.induced_nearby_pair line 29
3. lemma OAI.CriticalPercolation.BondGraph.infinite_nearby_pair_sum line 48
4. theorem OAI.CriticalPercolation.BondGraph.exists_nearby_large_pair line 78