OAI/Probability/CriticalPercolation/Exploration/Tagged.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.MarkedTree.sum_visited_nodes line 21
2. def OAI.CriticalPercolation.MarkedTree.Tagged line 43
3. lemma OAI.CriticalPercolation.MarkedTree.tagged_bit line 47
4. lemma OAI.CriticalPercolation.MarkedTree.tagged_map line 57
5. lemma OAI.CriticalPercolation.MarkedTree.tagged_append line 63
6. lemma OAI.CriticalPercolation.MarkedTree.tagged_sequence line 69
7. lemma OAI.CriticalPercolation.MarkedTree.tagged_cached line 79
8. lemma OAI.CriticalPercolation.MarkedTree.mem_select_block line 93
9. lemma OAI.CriticalPercolation.QueryTree.tagged_marked line 107