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

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Include every unused clique vertex as a singleton chain.

  1. def OAI.CycleClique.Construction.RawPathSystem.completeClique line 13
  2. theorem OAI.CycleClique.Construction.RawPathSystem.completeClique_vertices line 54
  3. theorem OAI.CycleClique.Construction.RawPathSystem.completeClique_amount line 61
  4. theorem OAI.CycleClique.Construction.RawPathSystem.completeClique_assignedCount line 68