OAI/Combinatorics/Ramsey/CycleClique/Patterns13x6.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_13_6_0 line 27
  2. theorem OAI.CycleClique.patterns_13_6_0_verified line 29
  3. def OAI.CycleClique.patterns_13_6_1 line 35
  4. theorem OAI.CycleClique.patterns_13_6_1_verified line 37
  5. def OAI.CycleClique.patterns_13_6_2 line 43
  6. theorem OAI.CycleClique.patterns_13_6_2_verified line 45
  7. def OAI.CycleClique.patterns_13_6_3 line 51
  8. theorem OAI.CycleClique.patterns_13_6_3_verified line 53
  9. def OAI.CycleClique.patterns_13_6_4 line 59
  10. theorem OAI.CycleClique.patterns_13_6_4_verified line 61
  11. def OAI.CycleClique.patterns_13_6_5 line 67
  12. theorem OAI.CycleClique.patterns_13_6_5_verified line 69
  13. def OAI.CycleClique.patterns_13_6_6 line 75
  14. theorem OAI.CycleClique.patterns_13_6_6_verified line 77
  15. def OAI.CycleClique.patterns_13_6_7 line 83
  16. theorem OAI.CycleClique.patterns_13_6_7_verified line 85
  17. def OAI.CycleClique.patterns_13_6_8 line 91
  18. theorem OAI.CycleClique.patterns_13_6_8_verified line 93
  19. def OAI.CycleClique.patterns_13_6_9 line 99
  20. theorem OAI.CycleClique.patterns_13_6_9_verified line 101
  21. def OAI.CycleClique.patterns_13_6 line 107
  22. theorem OAI.CycleClique.patterns_13_6_verified line 109
  23. theorem OAI.CycleClique.patterns_13_6_coverage line 115
  24. theorem OAI.CycleClique.finite_patterns_13_6 line 117