OAI/Probability/CriticalPercolation/Exploration/Select.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.MarkedTree.select line 19
2. lemma OAI.CriticalPercolation.MarkedTree.fresh_eq_select line 24
3. lemma OAI.CriticalPercolation.MarkedTree.trace_cached_select line 36
4. lemma OAI.CriticalPercolation.MarkedTree.mem_select line 42
5. lemma OAI.CriticalPercolation.MarkedTree.select_append line 56
6. lemma OAI.CriticalPercolation.MarkedTree.select_of_nodup line 75
7. def OAI.CriticalPercolation.QueryTree.pathNodes line 99
8. lemma OAI.CriticalPercolation.QueryTree.map_bit_pathNodes line 105
9. lemma OAI.CriticalPercolation.QueryTree.mem_pathNodes line 112
10. lemma OAI.CriticalPercolation.QueryTree.pathNodes_nodup line 127
11. def OAI.CriticalPercolation.QueryTree.marked line 139
12. lemma OAI.CriticalPercolation.QueryTree.trace_marked line 144
13. lemma OAI.CriticalPercolation.QueryTree.mem_trace_marked line 153