OAI/Combinatorics/RamseyFive/Entropy/High.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.pencil_high_budget_ratios line 17
2. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_high_geometric_budget line 92
3. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_high_local_budget line 165
4. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_high_independent line 233
5. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_high_radial_moment line 272