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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Apply a checked finite-layout obstruction to an actual optimal path system. The numerical profile supplies the amount and assigned-path count.

  1. theorem OAI.CycleClique.Construction.initial_layout_refutation line 15