OAI/Probability/CriticalPercolation/Criticality/HeightCuts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.heightCut line 17
2. lemma OAI.CriticalPercolation.BondGraph.finite_height_interval line 19
3. lemma OAI.CriticalPercolation.BondGraph.finite_heightCut line 26
4. lemma OAI.CriticalPercolation.BondGraph.heightCut_disjoint line 40
5. lemma OAI.CriticalPercolation.BondGraph.heightCut_translate line 61
6. lemma OAI.CriticalPercolation.BondGraph.heightCut_ncard line 95
7. lemma OAI.CriticalPercolation.BondGraph.cluster_bounded_by_closed_cuts line 103