OAI/Combinatorics/RamseyFive/Geometry/PlaneAnchor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_one_anchor line 18
2. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_two_anchor line 24
3. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_pencil_disjoint line 30
4. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_overlap_zero line 40
5. lemma OAI.SharpRamseyFive.ScoreGeometry.plane_relation_sub_eq line 47
6. theorem OAI.SharpRamseyFive.ScoreGeometry.plane_ambient_moment line 57
7. theorem OAI.SharpRamseyFive.ScoreGeometry.unsampled_untruncated_tail line 151