OAI/Probability/BenjaminiSchramm/AvoidanceProduct.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BernoulliProduct.harris_finiteWitness_compl line 14
2. def OAI.CriticalPercolation.BernoulliProduct.finiteBadUnion line 27
3. lemma OAI.CriticalPercolation.BernoulliProduct.finiteBadUnion_upper line 31
4. lemma OAI.CriticalPercolation.BernoulliProduct.finiteBadUnion_finiteWitness line 37
5. theorem OAI.CriticalPercolation.BernoulliProduct.finite_avoidance_product line 43
6. theorem OAI.CriticalPercolation.BernoulliProduct.exponential_finite_avoidance line 64