OAI/Combinatorics/Ryser/Incidence/ExtractedContradiction.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.Incidence.extracted_card_constraints line 9
2. theorem OAI.RyserCoveringCounterexample.Incidence.extracted_set_contradiction line 53