OAI/Probability/CriticalPercolation/Gluing/PredictionFailure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BernoulliProduct.prediction_persists line 15
2. lemma OAI.CriticalPercolation.BernoulliProduct.blockProbability_real_compl line 45
3. lemma OAI.CriticalPercolation.BernoulliProduct.integral_known_prediction_defect line 51
4. lemma OAI.CriticalPercolation.BernoulliProduct.bad_prediction_bound line 66
5. theorem OAI.CriticalPercolation.BernoulliProduct.two_prediction_failure line 100