OAI/Combinatorics/Ramsey/CycleClique/Patterns13x8.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.patterns_13_8_0 line 24
  2. theorem OAI.CycleClique.patterns_13_8_0_verified line 26
  3. def OAI.CycleClique.patterns_13_8_1 line 32
  4. theorem OAI.CycleClique.patterns_13_8_1_verified line 34
  5. def OAI.CycleClique.patterns_13_8_2 line 40
  6. theorem OAI.CycleClique.patterns_13_8_2_verified line 42
  7. def OAI.CycleClique.patterns_13_8_3 line 48
  8. theorem OAI.CycleClique.patterns_13_8_3_verified line 50
  9. def OAI.CycleClique.patterns_13_8 line 56
  10. theorem OAI.CycleClique.patterns_13_8_verified line 58
  11. theorem OAI.CycleClique.patterns_13_8_coverage line 64
  12. theorem OAI.CycleClique.finite_patterns_13_8 line 66