OAI/Combinatorics/Ramsey/CycleClique/Patterns15x7.lean

GitHub source file

50 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_15_7_0 line 34
  2. theorem OAI.CycleClique.patterns_15_7_0_verified line 36
  3. def OAI.CycleClique.patterns_15_7_1 line 42
  4. theorem OAI.CycleClique.patterns_15_7_1_verified line 44
  5. def OAI.CycleClique.patterns_15_7_2 line 50
  6. theorem OAI.CycleClique.patterns_15_7_2_verified line 52
  7. def OAI.CycleClique.patterns_15_7_3 line 58
  8. theorem OAI.CycleClique.patterns_15_7_3_verified line 60
  9. def OAI.CycleClique.patterns_15_7_4 line 66
  10. theorem OAI.CycleClique.patterns_15_7_4_verified line 68
  11. def OAI.CycleClique.patterns_15_7_5 line 74
  12. theorem OAI.CycleClique.patterns_15_7_5_verified line 76
  13. def OAI.CycleClique.patterns_15_7_6 line 82
  14. theorem OAI.CycleClique.patterns_15_7_6_verified line 84
  15. def OAI.CycleClique.patterns_15_7_7 line 90
  16. theorem OAI.CycleClique.patterns_15_7_7_verified line 92
  17. def OAI.CycleClique.patterns_15_7_8 line 98
  18. theorem OAI.CycleClique.patterns_15_7_8_verified line 100
  19. def OAI.CycleClique.patterns_15_7_9 line 106
  20. theorem OAI.CycleClique.patterns_15_7_9_verified line 108
  21. def OAI.CycleClique.patterns_15_7_10 line 114
  22. theorem OAI.CycleClique.patterns_15_7_10_verified line 116
  23. def OAI.CycleClique.patterns_15_7_11 line 122
  24. theorem OAI.CycleClique.patterns_15_7_11_verified line 124
  25. def OAI.CycleClique.patterns_15_7_12 line 130
  26. theorem OAI.CycleClique.patterns_15_7_12_verified line 132
  27. def OAI.CycleClique.patterns_15_7_13 line 138
  28. theorem OAI.CycleClique.patterns_15_7_13_verified line 140
  29. def OAI.CycleClique.patterns_15_7_14 line 146
  30. theorem OAI.CycleClique.patterns_15_7_14_verified line 148
  31. def OAI.CycleClique.patterns_15_7_15 line 154
  32. theorem OAI.CycleClique.patterns_15_7_15_verified line 156
  33. def OAI.CycleClique.patterns_15_7_16 line 162
  34. theorem OAI.CycleClique.patterns_15_7_16_verified line 164
  35. def OAI.CycleClique.patterns_15_7_17 line 170
  36. theorem OAI.CycleClique.patterns_15_7_17_verified line 172
  37. def OAI.CycleClique.patterns_15_7_18 line 178
  38. theorem OAI.CycleClique.patterns_15_7_18_verified line 180
  39. def OAI.CycleClique.patterns_15_7_19 line 186
  40. theorem OAI.CycleClique.patterns_15_7_19_verified line 188
  41. def OAI.CycleClique.patterns_15_7_20 line 194
  42. theorem OAI.CycleClique.patterns_15_7_20_verified line 196
  43. def OAI.CycleClique.patterns_15_7_21 line 202
  44. theorem OAI.CycleClique.patterns_15_7_21_verified line 204
  45. def OAI.CycleClique.patterns_15_7_22 line 210
  46. theorem OAI.CycleClique.patterns_15_7_22_verified line 212
  47. def OAI.CycleClique.patterns_15_7 line 218
  48. theorem OAI.CycleClique.patterns_15_7_verified line 220
  49. theorem OAI.CycleClique.patterns_15_7_coverage line 226
  50. theorem OAI.CycleClique.finite_patterns_15_7 line 228