OAI/Combinatorics/RamseyFive/Probability/UniformTails.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.ParameterHierarchy.eventually_score_slack line 14
2. theorem OAI.SharpRamseyFive.ParameterHierarchy.eventually_R_le_L line 33
3. theorem OAI.SharpRamseyFive.ParameterHierarchy.eventually_score_margins line 52
4. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_validation_original_tail line 118
5. theorem OAI.SharpRamseyFive.ScoreGeometry.low_original_tail line 183
6. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_low_original_tail line 258