OAI/Combinatorics/RamseyFive/Geometry/PowerValidation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.power_tail_mul line 16
2. lemma OAI.SharpRamseyFive.ScoreGeometry.validation_pairs_from_power line 25
3. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_dyad_power_payment line 54
4. theorem OAI.SharpRamseyFive.ScoreGeometry.score_pair_three_half_normalized line 79
5. theorem OAI.SharpRamseyFive.ScoreGeometry.score_pair_three_moment line 112
6. theorem OAI.SharpRamseyFive.ScoreGeometry.score_degree_three_normalized line 129