OAI/Combinatorics/Ryser/Construction/AmbientDeletionSurvivors.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RyserCoveringCounterexample.Construction.ambientPoolDeletedLines line 14
  2. theorem OAI.RyserCoveringCounterexample.Construction.mem_ambientPoolDeletedLines line 19
  3. def OAI.RyserCoveringCounterexample.Construction.ambientPoolSurvivors line 25
  4. def OAI.RyserCoveringCounterexample.Construction.ambientSelectedLines line 29
  5. theorem OAI.RyserCoveringCounterexample.Construction.mem_ambientSelectedLines line 34
  6. def OAI.RyserCoveringCounterexample.Construction.ambientSelectedSurvivors line 41
  7. theorem OAI.RyserCoveringCounterexample.Construction.mem_ambientSelectedSurvivors line 46
  8. theorem OAI.RyserCoveringCounterexample.Construction.mem_survivors_ambientPoolConfig line 61
  9. theorem OAI.RyserCoveringCounterexample.Construction.ambientPoolConfig_survivors line 84
  10. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedLines_subset_pool line 103
  11. theorem OAI.RyserCoveringCounterexample.Construction.ambientPool_survivors_subset_selected line 111
  12. theorem OAI.RyserCoveringCounterexample.Construction.ambientPool_ignored_survivors_subset_selected line 123
  13. theorem OAI.RyserCoveringCounterexample.Construction.ambientPool_goodLineCover_selected line 139