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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A coloured path in one layer closes through its two predecessor branches.

  1. theorem OAI.CycleClique.Construction.layer_cycle_of_two_branches line 9