OAI/Probability/CriticalPercolation/Criticality/FiniteSeedTree.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.finite_seed_tree_of_rank line 17
2. def OAI.CriticalPercolation.BondGraph.ballRank line 56
3. lemma OAI.CriticalPercolation.BondGraph.ballRank_mem line 59
4. lemma OAI.CriticalPercolation.BondGraph.ballRank_le line 64
5. lemma OAI.CriticalPercolation.BondGraph.ballRank_eq_zero_iff line 69
6. lemma OAI.CriticalPercolation.BondGraph.ballRank_predecessor line 80
7. lemma OAI.CriticalPercolation.BondGraph.finite_seed_tree line 95