OAI/Combinatorics/RamseyFive/Entropy/HighExceptions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.HighPlaneBudget.plane_density_le line 19
2. def OAI.SharpRamseyFive.HighPlaneBudget.highExceptions line 31
3. theorem OAI.SharpRamseyFive.HighPlaneBudget.high_exceptions_card line 42
4. theorem OAI.SharpRamseyFive.HighPlaneBudget.high_pairs line 105
5. def OAI.SharpRamseyFive.HighPlaneBudget.residualPlanes line 139
6. lemma OAI.SharpRamseyFive.HighPlaneBudget.capped_plane_exceptions line 143
7. def OAI.SharpRamseyFive.HighPlaneBudget.residualExceptions line 171
8. theorem OAI.SharpRamseyFive.HighPlaneBudget.residual_exceptions_card line 176
9. def OAI.SharpRamseyFive.HighPlaneBudget.residualPairs line 205
10. theorem OAI.SharpRamseyFive.HighPlaneBudget.residual_pairs line 209