OAI/Probability/BenjaminiSchramm/LayerFirstMoments.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CriticalPercolation.BondGraph.adjustedUpLayerMoment line 14
  2. def OAI.CriticalPercolation.BondGraph.adjustedDownLayerMoment line 20
  3. def OAI.CriticalPercolation.BondGraph.supAdjustedUpLayerMoment line 26
  4. def OAI.CriticalPercolation.BondGraph.infAdjustedUpLayerMoment line 29
  5. def OAI.CriticalPercolation.BondGraph.supAdjustedDownLayerMoment line 32
  6. def OAI.CriticalPercolation.BondGraph.infAdjustedDownLayerMoment line 35
  7. lemma OAI.CriticalPercolation.BondGraph.adjustedUpLayerMoment_le_sup line 38
  8. lemma OAI.CriticalPercolation.BondGraph.adjustedDownLayerMoment_le_sup line 43
  9. lemma OAI.CriticalPercolation.BondGraph.adjustedUpLayerMoment_zero_ge_one line 48