OAI/Probability/CriticalPercolation/Criticality/MinimalPair.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.walk_mem_vertexBall line 18
2. lemma OAI.CriticalPercolation.BondGraph.mem_vertexBall_iff_walk line 26
3. lemma OAI.CriticalPercolation.BondGraph.walk_getVert_mem_vertexBall line 48
4. lemma OAI.CriticalPercolation.BondGraph.twoClusterEvent_self line 62
5. lemma OAI.CriticalPercolation.BondGraph.twoClusterEvent_antitone line 67
6. lemma OAI.CriticalPercolation.BondGraph.exists_minimal_pair line 71
7. lemma OAI.CriticalPercolation.BondGraph.connection_lower_of_twoCluster line 98