OAI/Probability/CriticalPercolation/Criticality/FavoredFinite.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BernoulliProduct.upper_biUnion line 16
2. lemma OAI.CriticalPercolation.BernoulliProduct.finiteWitness_biUnion line 22
3. theorem OAI.CriticalPercolation.BernoulliProduct.finite_miss_product line 30
4. theorem OAI.CriticalPercolation.BernoulliProduct.exists_favored_finite line 59