OAI/Combinatorics/RamseyFive/Geometry/BaseCapturedLaw.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.baseOutcome line 18
2. def OAI.SharpRamseyFive.ScoreGeometry.baseCaptureLaw line 26
3. lemma OAI.SharpRamseyFive.ScoreGeometry.baseOutcome_none line 31
4. lemma OAI.SharpRamseyFive.ScoreGeometry.baseCaptureLaw_positive line 41
5. lemma OAI.SharpRamseyFive.ScoreGeometry.baseCaptureLaw_failure line 52
6. def OAI.SharpRamseyFive.ScoreGeometry.scoredOutcome line 74
7. def OAI.SharpRamseyFive.ScoreGeometry.scoredCaptureLaw line 85
8. lemma OAI.SharpRamseyFive.ScoreGeometry.scoredCaptureLaw_positive line 92
9. lemma OAI.SharpRamseyFive.ScoreGeometry.scoredCaptureLaw_failure line 105
10. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_three_public_law line 132