OAI/Combinatorics/Ramsey/CycleClique/Patterns12x6.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_12_6_0 line 24
  2. theorem OAI.CycleClique.patterns_12_6_0_verified line 26
  3. def OAI.CycleClique.patterns_12_6_1 line 32
  4. theorem OAI.CycleClique.patterns_12_6_1_verified line 34
  5. def OAI.CycleClique.patterns_12_6_2 line 40
  6. theorem OAI.CycleClique.patterns_12_6_2_verified line 42
  7. def OAI.CycleClique.patterns_12_6_3 line 48
  8. theorem OAI.CycleClique.patterns_12_6_3_verified line 50
  9. def OAI.CycleClique.patterns_12_6_4 line 56
  10. theorem OAI.CycleClique.patterns_12_6_4_verified line 58
  11. def OAI.CycleClique.patterns_12_6_5 line 64
  12. theorem OAI.CycleClique.patterns_12_6_5_verified line 66
  13. def OAI.CycleClique.patterns_12_6 line 72
  14. theorem OAI.CycleClique.patterns_12_6_verified line 74
  15. theorem OAI.CycleClique.patterns_12_6_coverage line 80
  16. theorem OAI.CycleClique.finite_patterns_12_6 line 82