OAI/Combinatorics/Ramsey/CycleClique/Construction/SixCycleRamsey.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The full six-cycle main clause, with its seven finite obstructions excluded by finite certificates.

  1. theorem OAI.CycleClique.Construction.certificateCoverageAt_five line 10
  2. theorem OAI.CycleClique.Construction.cycle_clique_six line 17