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

GitHub source file

47 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover4 line 8
  2. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover3 line 12
  3. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover5 line 18
  4. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover6 line 22
  5. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover7 line 26
  6. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover2 line 30
  7. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover8 line 49
  8. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover9 line 55
  9. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover10 line 59
  10. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover11 line 63
  11. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover12 line 69
  12. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t3_cover1 line 75
  13. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k6_t3 line 115
  14. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover5 line 119
  15. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover4 line 123
  16. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover6 line 129
  17. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover7 line 133
  18. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover3 line 137
  19. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover8 line 153
  20. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover9 line 159
  21. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover10 line 163
  22. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover2 line 169
  23. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover12 line 196
  24. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover11 line 200
  25. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover13 line 213
  26. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover14 line 219
  27. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t4_cover1 line 229
  28. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k6_t4 line 260
  29. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover6 line 264
  30. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover5 line 268
  31. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover7 line 274
  32. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover4 line 278
  33. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover8 line 291
  34. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover3 line 297
  35. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover9 line 314
  36. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover2 line 324
  37. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover10 line 341
  38. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t5_cover1 line 351
  39. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k6_t5 line 368
  40. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover7 line 372
  41. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover6 line 376
  42. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover5 line 382
  43. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover4 line 392
  44. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover3 line 402
  45. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover2 line 412
  46. theorem OAI.CycleClique.Construction.CertifiedCoverage.k6t6_cover1 line 422
  47. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k6_t6 line 432