OAI/Combinatorics/RamseyFive/Geometry/PlaneExceptionScalars.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreGeometry.eventually_exception_decay line 11
2. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_exception_payment line 31
3. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_exception_payment_wide line 59
4. lemma OAI.SharpRamseyFive.ScoreScalars.regular_training_payment_half line 89
5. lemma OAI.SharpRamseyFive.ScoreScalars.ambient_three_payment line 98
6. lemma OAI.SharpRamseyFive.ScoreScalars.strong_exception_payment line 108
7. theorem OAI.SharpRamseyFive.ScoreGeometry.eventually_plane_ambient_margins line 136