OAI/Combinatorics/RamseyFive/Iteration/CellScoreProcedure.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreScalars.exp_sub_le_scaled line 9
2. theorem OAI.SharpRamseyFive.ScoreScalars.procedure_probability line 14
3. lemma OAI.SharpRamseyFive.ScoreScalars.procedure_output line 68
4. lemma OAI.SharpRamseyFive.ScoreGeometry.thin_empty_lower line 100
5. lemma OAI.SharpRamseyFive.ScoreGeometry.regular_exceptional_count line 129
6. lemma OAI.SharpRamseyFive.ScoreGeometry.regular_centering line 148
7. theorem OAI.SharpRamseyFive.ScoreGeometry.cell_score_from_integrals line 179