OAI/Probability/CriticalPercolation/Criticality/GrowthAlternatives.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.maxVolume line 18
2. lemma OAI.CriticalPercolation.BondGraph.volume_le_maxVolume line 20
3. lemma OAI.CriticalPercolation.BondGraph.exists_maxVolume line 25
4. lemma OAI.CriticalPercolation.BondGraph.vertexBall_add_cover line 32
5. lemma OAI.CriticalPercolation.BondGraph.ncard_biUnion_le_sum line 46
6. lemma OAI.CriticalPercolation.BondGraph.maxVolume_submultiplicative line 57
7. lemma OAI.CriticalPercolation.BondGraph.maxVolume_pos line 75
8. lemma OAI.CriticalPercolation.BondGraph.log_maxVolume_subadditive line 80
9. lemma OAI.CriticalPercolation.BondGraph.uniform_subexponential_of_log_limit line 91
10. theorem OAI.CriticalPercolation.BondGraph.growth_alternative line 105
11. theorem OAI.CriticalPercolation.BondGraph.superpolynomial_or_polynomial_scales line 142