OAI/Probability/CriticalPercolation/Exploration/TraceTagged.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.MarkedTree.trace_tagged line 21
2. lemma OAI.CriticalPercolation.MarkedTree.trace_labels_nodup line 35
3. lemma OAI.CriticalPercolation.MarkedTree.list_label_sum line 47
4. lemma OAI.CriticalPercolation.MarkedTree.sum_tagged_visits line 59
5. lemma OAI.CriticalPercolation.MarkedTree.pooled_input_sum line 88