OAI/Combinatorics/Ryser/Domination/Exchange.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.Selection.transversal_exchange line 9
2. theorem OAI.RyserCoveringCounterexample.Selection.neighborsIn_exchange line 61
3. theorem OAI.RyserCoveringCounterexample.Selection.neighborsIn_exchange_eq_of_not_mem line 74
4. theorem OAI.RyserCoveringCounterexample.Selection.card_neighborsIn_exchange_lt line 80