OAI/Probability/CriticalPercolation/Gluing/ContactSelection.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.measurableSet_finset_subset line 18
2. lemma OAI.CriticalPercolation.BondGraph.levelContacts_reachable line 33
3. lemma OAI.CriticalPercolation.BondGraph.levelContacts_nonempty_of_hit line 37
4. lemma OAI.CriticalPercolation.BondGraph.levelContacts_supply line 52
5. def OAI.CriticalPercolation.BondGraph.manyContacts line 64
6. lemma OAI.CriticalPercolation.BondGraph.measurableSet_manyContacts line 67
7. theorem OAI.CriticalPercolation.BondGraph.honest_contact_selection line 78