OAI/Combinatorics/Ramsey/CycleClique/Patterns16x8.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_16_8_0 line 37
  2. theorem OAI.CycleClique.patterns_16_8_0_verified line 39
  3. def OAI.CycleClique.patterns_16_8_1 line 45
  4. theorem OAI.CycleClique.patterns_16_8_1_verified line 47
  5. def OAI.CycleClique.patterns_16_8_2 line 53
  6. theorem OAI.CycleClique.patterns_16_8_2_verified line 55
  7. def OAI.CycleClique.patterns_16_8_3 line 61
  8. theorem OAI.CycleClique.patterns_16_8_3_verified line 63
  9. def OAI.CycleClique.patterns_16_8_4 line 69
  10. theorem OAI.CycleClique.patterns_16_8_4_verified line 71
  11. def OAI.CycleClique.patterns_16_8_5 line 77
  12. theorem OAI.CycleClique.patterns_16_8_5_verified line 79
  13. def OAI.CycleClique.patterns_16_8_6 line 85
  14. theorem OAI.CycleClique.patterns_16_8_6_verified line 87
  15. def OAI.CycleClique.patterns_16_8_7 line 93
  16. theorem OAI.CycleClique.patterns_16_8_7_verified line 95
  17. def OAI.CycleClique.patterns_16_8_8 line 101
  18. theorem OAI.CycleClique.patterns_16_8_8_verified line 103
  19. def OAI.CycleClique.patterns_16_8_9 line 109
  20. theorem OAI.CycleClique.patterns_16_8_9_verified line 111
  21. def OAI.CycleClique.patterns_16_8_10 line 117
  22. theorem OAI.CycleClique.patterns_16_8_10_verified line 119
  23. def OAI.CycleClique.patterns_16_8_11 line 125
  24. theorem OAI.CycleClique.patterns_16_8_11_verified line 127
  25. def OAI.CycleClique.patterns_16_8_12 line 133
  26. theorem OAI.CycleClique.patterns_16_8_12_verified line 135
  27. def OAI.CycleClique.patterns_16_8_13 line 141
  28. theorem OAI.CycleClique.patterns_16_8_13_verified line 143
  29. def OAI.CycleClique.patterns_16_8_14 line 149
  30. theorem OAI.CycleClique.patterns_16_8_14_verified line 151
  31. def OAI.CycleClique.patterns_16_8_15 line 157
  32. theorem OAI.CycleClique.patterns_16_8_15_verified line 159
  33. def OAI.CycleClique.patterns_16_8_16 line 165
  34. theorem OAI.CycleClique.patterns_16_8_16_verified line 167
  35. def OAI.CycleClique.patterns_16_8_17 line 173
  36. theorem OAI.CycleClique.patterns_16_8_17_verified line 175
  37. def OAI.CycleClique.patterns_16_8_18 line 181
  38. theorem OAI.CycleClique.patterns_16_8_18_verified line 183
  39. def OAI.CycleClique.patterns_16_8_19 line 189
  40. theorem OAI.CycleClique.patterns_16_8_19_verified line 191
  41. def OAI.CycleClique.patterns_16_8_20 line 197
  42. theorem OAI.CycleClique.patterns_16_8_20_verified line 199
  43. def OAI.CycleClique.patterns_16_8_21 line 205
  44. theorem OAI.CycleClique.patterns_16_8_21_verified line 207
  45. def OAI.CycleClique.patterns_16_8_22 line 213
  46. theorem OAI.CycleClique.patterns_16_8_22_verified line 215
  47. def OAI.CycleClique.patterns_16_8_23 line 221
  48. theorem OAI.CycleClique.patterns_16_8_23_verified line 223
  49. def OAI.CycleClique.patterns_16_8_24 line 229
  50. theorem OAI.CycleClique.patterns_16_8_24_verified line 231
  51. def OAI.CycleClique.patterns_16_8_25 line 237
  52. theorem OAI.CycleClique.patterns_16_8_25_verified line 239
  53. def OAI.CycleClique.patterns_16_8_26 line 245
  54. theorem OAI.CycleClique.patterns_16_8_26_verified line 247
  55. def OAI.CycleClique.patterns_16_8_27 line 253
  56. theorem OAI.CycleClique.patterns_16_8_27_verified line 255
  57. def OAI.CycleClique.patterns_16_8_28 line 261
  58. theorem OAI.CycleClique.patterns_16_8_28_verified line 263
  59. def OAI.CycleClique.patterns_16_8_29 line 269
  60. theorem OAI.CycleClique.patterns_16_8_29_verified line 271
  61. def OAI.CycleClique.patterns_16_8 line 277
  62. theorem OAI.CycleClique.patterns_16_8_verified line 279
  63. theorem OAI.CycleClique.patterns_16_8_coverage line 285
  64. theorem OAI.CycleClique.finite_patterns_16_8 line 287