OAI/Combinatorics/RamseyFive/Geometry/PlaneStrongExceptions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.captured_global_rich line 18
2. theorem OAI.SharpRamseyFive.ScoreGeometry.literal_plane_global_rich line 55
3. lemma OAI.SharpRamseyFive.ScoreGeometry.strong_exceptions_of_global line 115
4. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_pair_card_zero line 134
5. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_degree_card_zero line 145
6. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_validation_card_zero line 157
7. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_two_score_tails line 175