OAI/Probability/BenjaminiSchramm/MixedHeightMoment.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.connectionAvoidingHit_mono line 14
2. def OAI.CriticalPercolation.BondGraph.mixedHeightLayerMoment line 28
3. lemma OAI.CriticalPercolation.BondGraph.mixedHeight_connection_event_aut line 37
4. lemma OAI.CriticalPercolation.BondGraph.mixedHeightLayerMoment_aut line 82
5. lemma OAI.CriticalPercolation.BondGraph.mixedHeightLayerMoment_le_continuation line 102