OAI/Combinatorics/RamseyFive/Geometry/OwnQuery.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.ownQuery line 19
2. def OAI.SharpRamseyFive.ScoreGeometry.outsideEquiv line 22
3. def OAI.SharpRamseyFive.ScoreGeometry.ownBitsMinus line 31
4. def OAI.SharpRamseyFive.ScoreGeometry.modifiedPointScore line 36
5. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_original_validation line 46
6. def OAI.SharpRamseyFive.ScoreGeometry.pointScore line 82
7. def OAI.SharpRamseyFive.ScoreGeometry.Unsampled line 87
8. theorem OAI.SharpRamseyFive.ScoreGeometry.modifiedPointScore_eq line 91