OAI/Combinatorics/Ryser/Selection/SmallCertificates.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RyserCoveringCounterexample.Selection.NoFeasibleOutside line 12
2. def OAI.RyserCoveringCounterexample.Selection.freshTargets line 16
3. theorem OAI.RyserCoveringCounterexample.Selection.noFeasibleOutside_join_iff line 20
4. theorem OAI.RyserCoveringCounterexample.Selection.prob_noFeasibleOutside_le line 40