OAI/Combinatorics/Ramsey/CycleClique/Minimality.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CycleClique.ramsey_upper_zero line 11
2. theorem OAI.CycleClique.ramsey_upper_one line 18
3. theorem OAI.CycleClique.order_bound_from_ramsey line 43
4. theorem OAI.CycleClique.expansion_of_minimality line 53
5. theorem OAI.CycleClique.minimal_expanding_counterexample line 85