OAI/Probability/CriticalPercolation/Exploration/CompileEmptyReads.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.LazyDFS.compile_empty_reads line 19
2. theorem OAI.CriticalPercolation.LazyDFS.compile_reads_rank_independent line 31
3. lemma OAI.CriticalPercolation.LazyDFS.push_goodDarts line 71
4. lemma OAI.CriticalPercolation.LazyDFS.goodDarts_append line 78
5. theorem OAI.CriticalPercolation.LazyDFS.compile_reads_targetWiring line 85