OAI/Computability/MinUncut/Search/FiniteAverageBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.FiniteGaussian.expect_abs_difference line 15
2. lemma OAI.MinUncut.FiniteGaussian.weighted_expect_abs_difference line 22
3. def OAI.MinUncut.FiniteGaussian.tableAverage line 48
4. def OAI.MinUncut.FiniteGaussian.finiteFirst line 52
5. def OAI.MinUncut.FiniteGaussian.finiteSecond line 55
6. def OAI.MinUncut.FiniteGaussian.finiteThird line 59
7. def OAI.MinUncut.FiniteGaussian.finiteFourth line 62
8. lemma OAI.MinUncut.FiniteGaussian.tableAverage_difference line 66
9. lemma OAI.MinUncut.FiniteGaussian.finiteFirst_difference line 74
10. lemma OAI.MinUncut.FiniteGaussian.finiteSecond_difference line 82
11. lemma OAI.MinUncut.FiniteGaussian.finiteThird_difference line 94
12. lemma OAI.MinUncut.FiniteGaussian.finiteFourth_difference line 105