OAI/Combinatorics/Ryser/Construction/SelectedHypergraph.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedSurvivors_projection_ne line 16
  2. theorem OAI.RyserCoveringCounterexample.Construction.DeletionSeparated.retained_projection_ne line 34
  3. def OAI.RyserCoveringCounterexample.Construction.ambientSelectedConfiguration line 49
  4. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_intersecting line 56
  5. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_nonempty line 72
  6. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_partite line 80
  7. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_uniform line 87
  8. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_rPartiteUniform line 94
  9. theorem OAI.RyserCoveringCounterexample.Construction.ambientSelectedHypergraph_properties line 101