OAI/Combinatorics/RamseyFive/Geometry/DimensionFourLowAmbient.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_four_low_ambient_tail line 21
2. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_plane_half_ambient_margins line 125
3. def OAI.SharpRamseyFive.ScoreGeometry.ambientHalfStrongExceptions line 163
4. lemma OAI.SharpRamseyFive.ScoreGeometry.off_ambientHalfStrongExceptions line 170
5. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_literal_plane_half_exceptions line 181