OAI/Probability/CriticalPercolation/ProductMeasure/RelayProbability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.relay_failure_bound line 15
2. lemma OAI.CriticalPercolation.relay_miss_bound line 33
3. def OAI.CriticalPercolation.BernoulliProduct.twoPredictions line 51
4. lemma OAI.CriticalPercolation.BernoulliProduct.measurableSet_twoPredictions line 56
5. theorem OAI.CriticalPercolation.BernoulliProduct.twoPredictions_positive line 64