OAI/Computability/MinUncut/Estimates/TableTestFunctions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.FiniteGaussian.disagreement line 18
2. lemma OAI.MinUncut.FiniteGaussian.disagreement_range line 20
3. def OAI.MinUncut.FiniteGaussian.firstTable line 24
4. def OAI.MinUncut.FiniteGaussian.secondTable line 28
5. def OAI.MinUncut.FiniteGaussian.thirdTable line 32
6. def OAI.MinUncut.FiniteGaussian.fourthTable line 37
7. lemma OAI.MinUncut.FiniteGaussian.firstTable_source line 43
8. lemma OAI.MinUncut.FiniteGaussian.secondTable_source line 48
9. lemma OAI.MinUncut.FiniteGaussian.thirdTable_source line 53
10. lemma OAI.MinUncut.FiniteGaussian.fourthTable_source line 58
11. lemma OAI.MinUncut.FiniteGaussian.firstTable_integral line 63
12. lemma OAI.MinUncut.FiniteGaussian.secondTable_integral line 69
13. lemma OAI.MinUncut.FiniteGaussian.thirdTable_integral line 75
14. lemma OAI.MinUncut.FiniteGaussian.fourthTable_integral line 90