OAI/Combinatorics/CycleDecomposition/PrefixSelection.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ErdosGallai.prefix_selection line 16
2. def OAI.ErdosGallai.MainStatement line 104

   Also declared: ComparatorChallenges/CycleDecomposition.lean:27 (same declaration text).