OAI/Probability/CriticalPercolation/Gluing/ConditionalGluing.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.countable_gluing_failure line 19
2. lemma OAI.CriticalPercolation.BondGraph.countable_gluing_failure_le line 29
3. lemma OAI.CriticalPercolation.BondGraph.measurableSet_randomHit line 37
4. theorem OAI.CriticalPercolation.BondGraph.random_relay_gluing line 49
5. def OAI.CriticalPercolation.BondGraph.seedHitEvent line 86
6. lemma OAI.CriticalPercolation.BondGraph.measurableSet_seedHitEvent line 89
7. lemma OAI.CriticalPercolation.BondGraph.seedHitEvent_upper line 93
8. lemma OAI.CriticalPercolation.BondGraph.seed_trial_connects line 98
9. lemma OAI.CriticalPercolation.BondGraph.seed_trial_probability line 104
10. def OAI.CriticalPercolation.BondGraph.goodRelay line 120
11. lemma OAI.CriticalPercolation.BondGraph.goodRelay_measurable line 124
12. theorem OAI.CriticalPercolation.BondGraph.goodRelay_gluing line 135