OAI/Probability/BenjaminiSchramm/PeakLayerCost.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.integer_downward_layer_cost line 11
2. def OAI.CriticalPercolation.BondGraph.downwardLayerCost line 47
3. lemma OAI.CriticalPercolation.BondGraph.downwardLayerCost_eq_vertex_sum line 51
4. lemma OAI.CriticalPercolation.BondGraph.downwardLayerCost_of_exact_cluster line 73
5. lemma OAI.CriticalPercolation.BondGraph.measurable_downwardLayerCost line 96
6. theorem OAI.CriticalPercolation.BondGraph.peakSurvivalCostMoment_eq line 100