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

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover4 line 8
  2. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover3 line 12
  3. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover5 line 18
  4. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover6 line 22
  5. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover2 line 26
  6. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover7 line 42
  7. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover8 line 48
  8. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover9 line 52
  9. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t3_cover1 line 58
  10. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k5_t3 line 85
  11. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover5 line 89
  12. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover4 line 93
  13. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover6 line 99
  14. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover3 line 103
  15. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover7 line 116
  16. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover2 line 122
  17. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover8 line 139
  18. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t4_cover1 line 149
  19. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k5_t4 line 166
  20. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover6 line 170
  21. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover5 line 174
  22. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover4 line 180
  23. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover3 line 190
  24. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover2 line 200
  25. theorem OAI.CycleClique.Construction.CertifiedCoverage.k5t5_cover1 line 210
  26. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k5_t5 line 220