OAI/Combinatorics/RamseyFive/Geometry/RadialOffException.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.radial_lt_off_exception line 20
2. lemma OAI.SharpRamseyFive.ScoreGeometry.strong_degree_le line 39
3. lemma OAI.SharpRamseyFive.ScoreGeometry.strong_pairs_le line 57
4. theorem OAI.SharpRamseyFive.ScoreGeometry.ambient_degree_off_exception line 90
5. def OAI.SharpRamseyFive.ScoreGeometry.geometryScale line 123
6. def OAI.SharpRamseyFive.ScoreGeometry.dyadFactor line 124
7. def OAI.SharpRamseyFive.ScoreGeometry.pencilAlphabet line 125
8. def OAI.SharpRamseyFive.ScoreGeometry.pencilLowBudget line 126
9. theorem OAI.SharpRamseyFive.ScoreGeometry.projective_low_moment line 134