OAI/Probability/BenjaminiSchramm/BandMomentSummability.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.adjustedBandCount_aut line 14
2. lemma OAI.CriticalPercolation.BondGraph.upLayerCount_le_bandCount line 23
3. lemma OAI.CriticalPercolation.BondGraph.spaced_down_bands_sum_le_cluster line 47
4. lemma OAI.CriticalPercolation.BondGraph.measurable_adjustedBandCount line 75
5. lemma OAI.CriticalPercolation.BondGraph.expected_adjustedBandCount_aut line 79
6. lemma OAI.CriticalPercolation.BondGraph.expected_band_le_weighted_roots line 89
7. lemma OAI.CriticalPercolation.BondGraph.spaced_down_band_moments_sum_le_row line 111
8. theorem OAI.CriticalPercolation.BondGraph.spaced_up_layer_moments_sum_bound line 130
9. lemma OAI.Percolation.BenjaminiSchramm.exponential_rate_strict_of_spaced_sum line 181
10. theorem OAI.CriticalPercolation.BondGraph.normalized_layer_rate_strict_of_lower line 217