OAI/Probability/CriticalPercolation/Exploration/QueryDelta.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CriticalPercolation.LazyDFS.search_contact_moments_exposure line 21
2. def OAI.CriticalPercolation.SearchTree.queryDelta line 64
3. lemma OAI.CriticalPercolation.SearchTree.queryDelta_update line 72
4. lemma OAI.CriticalPercolation.SearchTree.queryDelta_zero_used line 86
5. lemma OAI.CriticalPercolation.SearchTree.queryDelta_nonneg line 98
6. theorem OAI.CriticalPercolation.SearchTree.score_eq_queryDelta_sum line 116
7. lemma OAI.CriticalPercolation.SearchTree.score_nonneg line 144