OAI/Probability/CriticalPercolation/Exploration/ScoreMeanStep.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.SearchTree.score_mean_step line 20
2. theorem OAI.CriticalPercolation.SearchTree.score_mean_le_variance line 41
3. lemma OAI.CriticalPercolation.SearchTree.pivotal_contribution_mean line 68
4. lemma OAI.CriticalPercolation.SearchTree.score_second_step line 83