OAI/Combinatorics/RamseyFive/Geometry/ValidationOriginalTailWide.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.ScoreGeometry.validation_original_tail_wide line 24
2. lemma OAI.SharpRamseyFive.ScoreGeometry.typicalFailures_mono line 116
3. lemma OAI.SharpRamseyFive.ScoreGeometry.integral_typicalFailures_tail line 124
4. lemma OAI.SharpRamseyFive.ScoreGeometry.sampleMean_uniform line 140
5. theorem OAI.SharpRamseyFive.ScoreGeometry.original_score_procedure line 147