OAI/Combinatorics/RamseyFive/Probability/QB.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ScoreScalars.q_le_B line 9
2. lemma OAI.SharpRamseyFive.ScoreScalars.qsq_le_Bexp line 15
3. theorem OAI.SharpRamseyFive.ScoreScalars.normalized_degree_low line 22
4. theorem OAI.SharpRamseyFive.ScoreScalars.normalized_degree_small line 47
5. theorem OAI.SharpRamseyFive.ScoreScalars.normalized_degree_truncated line 77