OAI/Combinatorics/Ramsey/CycleClique/Construction/PatternCounts.lean

GitHub source file

42 declarations, 0 contain sorry, 0 declared as axioms

Exact sizes of the canonical pattern domains in Table 1.

  1. theorem OAI.CycleClique.Construction.patternCount_5_3 line 8
  2. theorem OAI.CycleClique.Construction.patternCount_5_4 line 13
  3. theorem OAI.CycleClique.Construction.patternCount_5_5 line 18
  4. theorem OAI.CycleClique.Construction.patternCount_6_3 line 23
  5. theorem OAI.CycleClique.Construction.patternCount_6_4 line 28
  6. theorem OAI.CycleClique.Construction.patternCount_6_5 line 33
  7. theorem OAI.CycleClique.Construction.patternCount_6_6 line 38
  8. theorem OAI.CycleClique.Construction.patternCount_7_3 line 43
  9. theorem OAI.CycleClique.Construction.patternCount_7_4 line 48
  10. theorem OAI.CycleClique.Construction.patternCount_7_5 line 53
  11. theorem OAI.CycleClique.Construction.patternCount_7_6 line 58
  12. theorem OAI.CycleClique.Construction.patternCount_7_7 line 63
  13. theorem OAI.CycleClique.Construction.patternCount_8_4 line 68
  14. theorem OAI.CycleClique.Construction.patternCount_8_5 line 73
  15. theorem OAI.CycleClique.Construction.patternCount_8_6 line 78
  16. theorem OAI.CycleClique.Construction.patternCount_8_7 line 83
  17. theorem OAI.CycleClique.Construction.patternCount_8_8 line 88
  18. theorem OAI.CycleClique.Construction.patternCount_9_4 line 93
  19. theorem OAI.CycleClique.Construction.patternCount_9_5 line 98
  20. theorem OAI.CycleClique.Construction.patternCount_9_6 line 103
  21. theorem OAI.CycleClique.Construction.patternCount_9_7 line 108
  22. theorem OAI.CycleClique.Construction.patternCount_9_8 line 113
  23. theorem OAI.CycleClique.Construction.patternCount_10_5 line 118
  24. theorem OAI.CycleClique.Construction.patternCount_10_6 line 123
  25. theorem OAI.CycleClique.Construction.patternCount_10_7 line 128
  26. theorem OAI.CycleClique.Construction.patternCount_10_8 line 133
  27. theorem OAI.CycleClique.Construction.patternCount_11_5 line 138
  28. theorem OAI.CycleClique.Construction.patternCount_11_6 line 143
  29. theorem OAI.CycleClique.Construction.patternCount_11_7 line 148
  30. theorem OAI.CycleClique.Construction.patternCount_11_8 line 153
  31. theorem OAI.CycleClique.Construction.patternCount_12_6 line 158
  32. theorem OAI.CycleClique.Construction.patternCount_12_7 line 163
  33. theorem OAI.CycleClique.Construction.patternCount_12_8 line 168
  34. theorem OAI.CycleClique.Construction.patternCount_13_6 line 173
  35. theorem OAI.CycleClique.Construction.patternCount_13_7 line 178
  36. theorem OAI.CycleClique.Construction.patternCount_13_8 line 183
  37. theorem OAI.CycleClique.Construction.patternCount_14_7 line 188
  38. theorem OAI.CycleClique.Construction.patternCount_14_8 line 193
  39. theorem OAI.CycleClique.Construction.patternCount_15_7 line 198
  40. theorem OAI.CycleClique.Construction.patternCount_15_8 line 203
  41. theorem OAI.CycleClique.Construction.patternCount_16_8 line 208
  42. theorem OAI.CycleClique.Construction.patternCount_17_8 line 213