OAI/Probability/BenjaminiSchramm/CeilingBandUniform.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.measurable_adjustedCeilingBandCount line 13
2. lemma OAI.CriticalPercolation.BondGraph.adjustedCeilingBandCount_aut line 18
3. lemma OAI.CriticalPercolation.BondGraph.expected_adjustedCeilingBandCount_aut line 27
4. theorem OAI.CriticalPercolation.BondGraph.expected_ceilingBandCount_uniform_bound line 37