OAI/Combinatorics/Ryser/LineCover/Process.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.RyserCoveringCounterexample.LineCover.DeletionProcess line 12
2. def OAI.RyserCoveringCounterexample.LineCover.GoodLineCover line 34
3. abbrev OAI.RyserCoveringCounterexample.LineCover.DeletionProcess.Config line 47
4. def OAI.RyserCoveringCounterexample.LineCover.DeletionProcess.law line 49
5. def OAI.RyserCoveringCounterexample.LineCover.DeletionProcess.survivorSet line 51
6. theorem OAI.RyserCoveringCounterexample.LineCover.DeletionProcess.point_survival_ge line 53