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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Reapplying the necessary overlap structure to a neighbouring triangle rules out every overlap.

  1. theorem OAI.CycleClique.Construction.fiveCycle_labelled_triangle_no_overlap line 8