OAI/Probability/BenjaminiSchramm/PeakConditionalLayers.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.one_le_tsum_ite_one_of_pos line 11
2. lemma OAI.Percolation.BenjaminiSchramm.one_le_tsum_of_zero_or_one line 24
3. def OAI.CriticalPercolation.BondGraph.peakSurvivalProbability line 40
4. def OAI.CriticalPercolation.BondGraph.peakSurvivalLayerMoment line 45
5. theorem OAI.CriticalPercolation.BondGraph.peak_survival_layer_moment_bound line 53
6. theorem OAI.CriticalPercolation.BondGraph.peakSurvivalLayerMoment_bound line 104