OAI/Probability/BenjaminiSchramm/LayerFirstMomentPositivity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.integer_first_layer_walk line 13
2. lemma OAI.CriticalPercolation.BondGraph.adjustedUpLayerMoment_walk_lower line 60
3. theorem OAI.CriticalPercolation.BondGraph.adjustedUpLayerMoment_finite_energy line 109
4. theorem OAI.CriticalPercolation.BondGraph.stationaryOrbitHeight_bounded_jumps line 146