OAI/Combinatorics/RamseyFive/Geometry/FourSelected.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.fourSelectedLaw line 13
2. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_four_selected line 23
3. def OAI.SharpRamseyFive.ScoreGeometry.fourCoordinateLaw line 65
4. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_four_coordinates line 74
5. def OAI.SharpRamseyFive.ScoreGeometry.fourFreeLaw line 132
6. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_four_free line 142