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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Locate an arbitrary assigned segment together with the amount decompositions of its two sides.

  1. theorem OAI.CycleClique.Construction.AssignedAmounts.cut line 13