OAI/Combinatorics/Ramsey/CycleClique/StructuralReduction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CycleClique.Frame.exists_of_cliqueNum line 30
2. theorem OAI.CycleClique.reduced_small_impossible line 36
3. theorem OAI.CycleClique.reduced_large_impossible line 55