OAI/Probability/CriticalPercolation/Exploration/IncidenceIdentity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.IncidenceSearch.readSum line 16
2. lemma OAI.CriticalPercolation.IncidenceSearch.compile_trace line 19
3. def OAI.CriticalPercolation.IncidenceSearch.tree line 72
4. lemma OAI.CriticalPercolation.IncidenceSearch.tree_valid line 75
5. lemma OAI.CriticalPercolation.IncidenceSearch.tree_read line 78
6. lemma OAI.CriticalPercolation.IncidenceSearch.tree_mem_read line 85
7. lemma OAI.CriticalPercolation.IncidenceSearch.tree_count line 90
8. lemma OAI.CriticalPercolation.IncidenceSearch.tree_centered line 101