OAI/Combinatorics/Ramsey/CycleClique/Patterns11x5.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_11_5_0 line 24
  2. theorem OAI.CycleClique.patterns_11_5_0_verified line 26
  3. def OAI.CycleClique.patterns_11_5_1 line 32
  4. theorem OAI.CycleClique.patterns_11_5_1_verified line 34
  5. def OAI.CycleClique.patterns_11_5_2 line 40
  6. theorem OAI.CycleClique.patterns_11_5_2_verified line 42
  7. def OAI.CycleClique.patterns_11_5_3 line 48
  8. theorem OAI.CycleClique.patterns_11_5_3_verified line 50
  9. def OAI.CycleClique.patterns_11_5 line 56
  10. theorem OAI.CycleClique.patterns_11_5_verified line 58
  11. theorem OAI.CycleClique.patterns_11_5_coverage line 64
  12. theorem OAI.CycleClique.finite_patterns_11_5 line 66