OAI/Combinatorics/Ramsey/CycleClique/Patterns15x8.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_15_8_0 line 29
  2. theorem OAI.CycleClique.patterns_15_8_0_verified line 31
  3. def OAI.CycleClique.patterns_15_8_1 line 37
  4. theorem OAI.CycleClique.patterns_15_8_1_verified line 39
  5. def OAI.CycleClique.patterns_15_8_2 line 45
  6. theorem OAI.CycleClique.patterns_15_8_2_verified line 47
  7. def OAI.CycleClique.patterns_15_8_3 line 53
  8. theorem OAI.CycleClique.patterns_15_8_3_verified line 55
  9. def OAI.CycleClique.patterns_15_8_4 line 61
  10. theorem OAI.CycleClique.patterns_15_8_4_verified line 63
  11. def OAI.CycleClique.patterns_15_8_5 line 69
  12. theorem OAI.CycleClique.patterns_15_8_5_verified line 71
  13. def OAI.CycleClique.patterns_15_8_6 line 77
  14. theorem OAI.CycleClique.patterns_15_8_6_verified line 79
  15. def OAI.CycleClique.patterns_15_8_7 line 85
  16. theorem OAI.CycleClique.patterns_15_8_7_verified line 87
  17. def OAI.CycleClique.patterns_15_8_8 line 93
  18. theorem OAI.CycleClique.patterns_15_8_8_verified line 95
  19. def OAI.CycleClique.patterns_15_8_9 line 101
  20. theorem OAI.CycleClique.patterns_15_8_9_verified line 103
  21. def OAI.CycleClique.patterns_15_8_10 line 109
  22. theorem OAI.CycleClique.patterns_15_8_10_verified line 111
  23. def OAI.CycleClique.patterns_15_8_11 line 117
  24. theorem OAI.CycleClique.patterns_15_8_11_verified line 119
  25. def OAI.CycleClique.patterns_15_8_12 line 125
  26. theorem OAI.CycleClique.patterns_15_8_12_verified line 127
  27. def OAI.CycleClique.patterns_15_8_13 line 133
  28. theorem OAI.CycleClique.patterns_15_8_13_verified line 135
  29. def OAI.CycleClique.patterns_15_8_14 line 141
  30. theorem OAI.CycleClique.patterns_15_8_14_verified line 143
  31. def OAI.CycleClique.patterns_15_8 line 149
  32. theorem OAI.CycleClique.patterns_15_8_verified line 151
  33. theorem OAI.CycleClique.patterns_15_8_coverage line 157
  34. theorem OAI.CycleClique.finite_patterns_15_8 line 159