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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Each two-vertex exterior clique has at least six vertices in its closed exterior neighbourhood.

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