OAI/Combinatorics/Ramsey/CycleClique/Patterns17x8.lean

GitHub source file

114 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_17_8_0 line 49
  2. theorem OAI.CycleClique.patterns_17_8_0_verified line 51
  3. def OAI.CycleClique.patterns_17_8_1 line 57
  4. theorem OAI.CycleClique.patterns_17_8_1_verified line 59
  5. def OAI.CycleClique.patterns_17_8_2 line 65
  6. theorem OAI.CycleClique.patterns_17_8_2_verified line 67
  7. def OAI.CycleClique.patterns_17_8_3 line 73
  8. theorem OAI.CycleClique.patterns_17_8_3_verified line 75
  9. def OAI.CycleClique.patterns_17_8_4 line 81
  10. theorem OAI.CycleClique.patterns_17_8_4_verified line 83
  11. def OAI.CycleClique.patterns_17_8_5 line 89
  12. theorem OAI.CycleClique.patterns_17_8_5_verified line 91
  13. def OAI.CycleClique.patterns_17_8_6 line 97
  14. theorem OAI.CycleClique.patterns_17_8_6_verified line 99
  15. def OAI.CycleClique.patterns_17_8_7 line 105
  16. theorem OAI.CycleClique.patterns_17_8_7_verified line 107
  17. def OAI.CycleClique.patterns_17_8_8 line 113
  18. theorem OAI.CycleClique.patterns_17_8_8_verified line 115
  19. def OAI.CycleClique.patterns_17_8_9 line 121
  20. theorem OAI.CycleClique.patterns_17_8_9_verified line 123
  21. def OAI.CycleClique.patterns_17_8_10 line 129
  22. theorem OAI.CycleClique.patterns_17_8_10_verified line 131
  23. def OAI.CycleClique.patterns_17_8_11 line 137
  24. theorem OAI.CycleClique.patterns_17_8_11_verified line 139
  25. def OAI.CycleClique.patterns_17_8_12 line 145
  26. theorem OAI.CycleClique.patterns_17_8_12_verified line 147
  27. def OAI.CycleClique.patterns_17_8_13 line 153
  28. theorem OAI.CycleClique.patterns_17_8_13_verified line 155
  29. def OAI.CycleClique.patterns_17_8_14 line 161
  30. theorem OAI.CycleClique.patterns_17_8_14_verified line 163
  31. def OAI.CycleClique.patterns_17_8_15 line 169
  32. theorem OAI.CycleClique.patterns_17_8_15_verified line 171
  33. def OAI.CycleClique.patterns_17_8_16 line 177
  34. theorem OAI.CycleClique.patterns_17_8_16_verified line 179
  35. def OAI.CycleClique.patterns_17_8_17 line 185
  36. theorem OAI.CycleClique.patterns_17_8_17_verified line 187
  37. def OAI.CycleClique.patterns_17_8_18 line 193
  38. theorem OAI.CycleClique.patterns_17_8_18_verified line 195
  39. def OAI.CycleClique.patterns_17_8_19 line 201
  40. theorem OAI.CycleClique.patterns_17_8_19_verified line 203
  41. def OAI.CycleClique.patterns_17_8_20 line 209
  42. theorem OAI.CycleClique.patterns_17_8_20_verified line 211
  43. def OAI.CycleClique.patterns_17_8_21 line 217
  44. theorem OAI.CycleClique.patterns_17_8_21_verified line 219
  45. def OAI.CycleClique.patterns_17_8_22 line 225
  46. theorem OAI.CycleClique.patterns_17_8_22_verified line 227
  47. def OAI.CycleClique.patterns_17_8_23 line 233
  48. theorem OAI.CycleClique.patterns_17_8_23_verified line 235
  49. def OAI.CycleClique.patterns_17_8_24 line 241
  50. theorem OAI.CycleClique.patterns_17_8_24_verified line 243
  51. def OAI.CycleClique.patterns_17_8_25 line 249
  52. theorem OAI.CycleClique.patterns_17_8_25_verified line 251
  53. def OAI.CycleClique.patterns_17_8_26 line 257
  54. theorem OAI.CycleClique.patterns_17_8_26_verified line 259
  55. def OAI.CycleClique.patterns_17_8_27 line 265
  56. theorem OAI.CycleClique.patterns_17_8_27_verified line 267
  57. def OAI.CycleClique.patterns_17_8_28 line 273
  58. theorem OAI.CycleClique.patterns_17_8_28_verified line 275
  59. def OAI.CycleClique.patterns_17_8_29 line 281
  60. theorem OAI.CycleClique.patterns_17_8_29_verified line 283
  61. def OAI.CycleClique.patterns_17_8_30 line 289
  62. theorem OAI.CycleClique.patterns_17_8_30_verified line 291
  63. def OAI.CycleClique.patterns_17_8_31 line 297
  64. theorem OAI.CycleClique.patterns_17_8_31_verified line 299
  65. def OAI.CycleClique.patterns_17_8_32 line 305
  66. theorem OAI.CycleClique.patterns_17_8_32_verified line 307
  67. def OAI.CycleClique.patterns_17_8_33 line 313
  68. theorem OAI.CycleClique.patterns_17_8_33_verified line 315
  69. def OAI.CycleClique.patterns_17_8_34 line 321
  70. theorem OAI.CycleClique.patterns_17_8_34_verified line 323
  71. def OAI.CycleClique.patterns_17_8_35 line 329
  72. theorem OAI.CycleClique.patterns_17_8_35_verified line 331
  73. def OAI.CycleClique.patterns_17_8_36 line 337
  74. theorem OAI.CycleClique.patterns_17_8_36_verified line 339
  75. def OAI.CycleClique.patterns_17_8_37 line 345
  76. theorem OAI.CycleClique.patterns_17_8_37_verified line 347
  77. def OAI.CycleClique.patterns_17_8_38 line 353
  78. theorem OAI.CycleClique.patterns_17_8_38_verified line 355
  79. def OAI.CycleClique.patterns_17_8_39 line 361
  80. theorem OAI.CycleClique.patterns_17_8_39_verified line 363
  81. def OAI.CycleClique.patterns_17_8_40 line 369
  82. theorem OAI.CycleClique.patterns_17_8_40_verified line 371
  83. def OAI.CycleClique.patterns_17_8_41 line 377
  84. theorem OAI.CycleClique.patterns_17_8_41_verified line 379
  85. def OAI.CycleClique.patterns_17_8_42 line 385
  86. theorem OAI.CycleClique.patterns_17_8_42_verified line 387
  87. def OAI.CycleClique.patterns_17_8_43 line 393
  88. theorem OAI.CycleClique.patterns_17_8_43_verified line 395
  89. def OAI.CycleClique.patterns_17_8_44 line 401
  90. theorem OAI.CycleClique.patterns_17_8_44_verified line 403
  91. def OAI.CycleClique.patterns_17_8_45 line 409
  92. theorem OAI.CycleClique.patterns_17_8_45_verified line 411
  93. def OAI.CycleClique.patterns_17_8_46 line 417
  94. theorem OAI.CycleClique.patterns_17_8_46_verified line 419
  95. def OAI.CycleClique.patterns_17_8_47 line 425
  96. theorem OAI.CycleClique.patterns_17_8_47_verified line 427
  97. def OAI.CycleClique.patterns_17_8_48 line 433
  98. theorem OAI.CycleClique.patterns_17_8_48_verified line 435
  99. def OAI.CycleClique.patterns_17_8_49 line 441
  100. theorem OAI.CycleClique.patterns_17_8_49_verified line 443
  101. def OAI.CycleClique.patterns_17_8_50 line 449
  102. theorem OAI.CycleClique.patterns_17_8_50_verified line 451
  103. def OAI.CycleClique.patterns_17_8_51 line 457
  104. theorem OAI.CycleClique.patterns_17_8_51_verified line 459
  105. def OAI.CycleClique.patterns_17_8_52 line 465
  106. theorem OAI.CycleClique.patterns_17_8_52_verified line 467
  107. def OAI.CycleClique.patterns_17_8_53 line 473
  108. theorem OAI.CycleClique.patterns_17_8_53_verified line 475
  109. def OAI.CycleClique.patterns_17_8_54 line 481
  110. theorem OAI.CycleClique.patterns_17_8_54_verified line 483
  111. def OAI.CycleClique.patterns_17_8 line 489
  112. theorem OAI.CycleClique.patterns_17_8_verified line 491
  113. theorem OAI.CycleClique.patterns_17_8_coverage line 497
  114. theorem OAI.CycleClique.finite_patterns_17_8 line 499