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

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Maximum independent sets in separated exterior classes can be added.

  1. theorem OAI.CycleClique.Construction.indepNum_packing line 8
  2. theorem OAI.CycleClique.Construction.separated_three_cliques line 23