OAI/Combinatorics/RamseyFive/Entropy/DimensionThreePairs.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.WeightedOverlap.pair_count_three line 14
2. theorem OAI.SharpRamseyFive.WeightedOverlap.degree_count_three line 34
3. theorem OAI.SharpRamseyFive.WeightedOverlap.no_neighbors_three line 68
4. theorem OAI.SharpRamseyFive.ScoreGeometry.score_pair_count_three line 93
5. theorem OAI.SharpRamseyFive.ScoreGeometry.score_degree_three line 110
6. theorem OAI.SharpRamseyFive.ScoreGeometry.score_no_neighbors_three line 143
7. theorem OAI.SharpRamseyFive.ScoreGeometry.score_pairs_three_off_radial line 175
8. theorem OAI.SharpRamseyFive.ScoreGeometry.score_pair_three_normalized line 195