OAI/Combinatorics/RamseyFive/Entropy/GoodPairScores.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.FiniteEntropy.pair_entropy_swap line 10
2. def OAI.SharpRamseyFive.FiniteEntropy.OtherBlock line 24
3. lemma OAI.SharpRamseyFive.FiniteEntropy.index_information_pair line 28
4. lemma OAI.SharpRamseyFive.FiniteEntropy.index_collision_pair line 55
5. theorem OAI.SharpRamseyFive.FiniteEntropy.good_index_scores line 67
6. lemma OAI.SharpRamseyFive.FiniteEntropy.good_index_scores_reverse line 79