OAI/Probability/CriticalPercolation/Criticality/DirectionalTail.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.infiniteVertices line 18
2. lemma OAI.CriticalPercolation.BondGraph.infiniteVertices_mono line 20
3. lemma OAI.CriticalPercolation.BondGraph.cluster_union_unchanged line 23
4. lemma OAI.CriticalPercolation.BondGraph.infiniteVertices_union_finite_error line 41
5. def OAI.CriticalPercolation.BondGraph.directionUnbounded line 65
6. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_mono line 68
7. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_union_finite_iff line 73
8. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_diff_finite_iff line 88
9. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_measurable line 100
10. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_zero_one line 110
11. lemma OAI.CriticalPercolation.BondGraph.directionUnbounded_positive line 123
12. theorem OAI.CriticalPercolation.BondGraph.directionUnbounded_one line 152
13. theorem OAI.CriticalPercolation.BondGraph.unique_cluster_direction_unbounded_ae line 163