OAI/Probability/CriticalPercolation/Criticality/BandScale.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.bandScale line 21
2. lemma OAI.CriticalPercolation.bandScale_zero line 23
3. lemma OAI.CriticalPercolation.bandScale_succ line 24
4. lemma OAI.CriticalPercolation.bandScale_ge line 26
5. lemma OAI.CriticalPercolation.bandScale_tendsto line 29
6. lemma OAI.CriticalPercolation.log_bandScale line 34
7. lemma OAI.CriticalPercolation.band_weight line 38
8. lemma OAI.CriticalPercolation.band_weight_sum_lt line 46
9. def OAI.CriticalPercolation.BondGraph.clusterBand line 64
10. lemma OAI.CriticalPercolation.BondGraph.real_clusterBand line 67
11. lemma OAI.CriticalPercolation.BondGraph.sum_real_clusterBand line 73
12. theorem OAI.CriticalPercolation.BondGraph.exists_subcritical_clusterBand line 81