OAI/Probability/BenjaminiSchramm/SlabSecondMoment.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Percolation.BenjaminiSchramm.disjointOccurrence_restrict line 13
  2. lemma OAI.Percolation.BenjaminiSchramm.conn_restricted_three_disjoint_arms line 26
  3. lemma OAI.Percolation.BenjaminiSchramm.finiteWitness_conn_restricted line 37
  4. lemma OAI.Percolation.BenjaminiSchramm.restricted_three_arm_bound line 45
  5. lemma OAI.Percolation.BenjaminiSchramm.lintegral_restrictedLayerCount line 73
  6. lemma OAI.Percolation.BenjaminiSchramm.restrictedLayerCount_mul line 97
  7. lemma OAI.Percolation.BenjaminiSchramm.lintegral_restrictedLayerCount_mul line 110
  8. theorem OAI.Percolation.BenjaminiSchramm.restricted_layer_second_moment line 150