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

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The unconditional exact cycle–clique Ramsey numbers, including R(C₃,K₃)=6.

  1. theorem OAI.CycleClique.Construction.cycle_clique_main_unconditional line 9
  2. theorem OAI.CycleClique.Construction.cycle_clique_ramsey_unconditional line 14