OAI/Combinatorics/RamseyFive/Geometry/ThreeOriented.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.threeOrientedLaw line 14
2. lemma OAI.SharpRamseyFive.ScoreGeometry.three_cap_size_absorb line 25
3. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_three_oriented line 42
4. def OAI.SharpRamseyFive.ProjectiveRestriction.threeFlatBranchLaw line 114
5. theorem OAI.SharpRamseyFive.ProjectiveRestriction.eventually_three_flat_branch line 133