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

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Reordering raw chains, used to bring two chosen chains to the front.

  1. def OAI.CycleClique.Construction.RawPathSystem.reorder line 13
  2. theorem OAI.CycleClique.Construction.RawPathSystem.reorder_vertices line 21
  3. theorem OAI.CycleClique.Construction.RawPathSystem.reorder_amount line 27
  4. theorem OAI.CycleClique.Construction.RawPathSystem.reorder_assignedCount line 32
  5. theorem OAI.CycleClique.Construction.RawPathSystem.bring_two_front line 36
  6. theorem OAI.CycleClique.Construction.RawPathSystem.disjoint_of_mem line 43