OAI/Probability/CriticalPercolation/Exploration/PrefixState.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CriticalPercolation.LazyDFS.actual_pivot_no_older_reads line 23
2. def OAI.CriticalPercolation.LazyDFS.PrefixState line 54
3. lemma OAI.CriticalPercolation.LazyDFS.prefixState_initial line 61
4. lemma OAI.CriticalPercolation.LazyDFS.prefixState_closed line 74
5. lemma OAI.CriticalPercolation.LazyDFS.prefixState_opened line 88
6. lemma OAI.CriticalPercolation.LazyDFS.prefixState_deleted line 108
7. theorem OAI.CriticalPercolation.LazyDFS.future_pair_bound line 117