OAI/Combinatorics/Ramsey/CycleClique/Patterns11x6.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_11_6_0 line 24
  2. theorem OAI.CycleClique.patterns_11_6_0_verified line 26
  3. def OAI.CycleClique.patterns_11_6_1 line 32
  4. theorem OAI.CycleClique.patterns_11_6_1_verified line 34
  5. def OAI.CycleClique.patterns_11_6_2 line 40
  6. theorem OAI.CycleClique.patterns_11_6_2_verified line 42
  7. def OAI.CycleClique.patterns_11_6 line 48
  8. theorem OAI.CycleClique.patterns_11_6_verified line 50
  9. theorem OAI.CycleClique.patterns_11_6_coverage line 56
  10. theorem OAI.CycleClique.finite_patterns_11_6 line 58