OAI/Combinatorics/RamseyFive/Entropy/BandCoreRanks.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.CoreGeometry.rank_of_logarithmic_slack line 11
2. theorem OAI.SharpRamseyFive.CoreGeometry.goodFirst_integer_rank line 28
3. theorem OAI.SharpRamseyFive.CoreGeometry.goodSecond_integer_rank line 37