OAI/Probability/CriticalPercolation/Exploration/ClosedPivotWeight.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.SearchTree.closedPivotWeight line 20
2. theorem OAI.CriticalPercolation.SearchTree.contact_flip_identity line 24
3. def OAI.CriticalPercolation.SearchTree.prefixScore line 72
4. lemma OAI.CriticalPercolation.SearchTree.prefixScore_le line 81
5. lemma OAI.CriticalPercolation.SearchTree.closedPivotWeight_nonneg line 110
6. theorem OAI.CriticalPercolation.SearchTree.marked_prefix_bound line 120