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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Only one exterior pair can overlap at a triangle in the five-cycle case.

  1. theorem OAI.CycleClique.Construction.fiveCycle_overlap_misses_third line 8
  2. theorem OAI.CycleClique.Construction.fiveCycle_other_triangle_overlap_absent line 29
  3. theorem OAI.CycleClique.Construction.fiveCycle_triangle_overlap_independent line 70