OAI/Combinatorics/SecondNeighborhood/Reindex.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SeymourSecondNeighborhood.reindex line 10
  2. theorem OAI.SeymourSecondNeighborhood.isOriented_reindex line 13
  3. theorem OAI.SeymourSecondNeighborhood.mem_firstNeighbors_reindex line 21
  4. theorem OAI.SeymourSecondNeighborhood.mem_secondNeighbors_reindex line 27
  5. theorem OAI.SeymourSecondNeighborhood.firstNeighbors_reindex line 41
  6. theorem OAI.SeymourSecondNeighborhood.secondNeighbors_reindex line 47
  7. theorem OAI.SeymourSecondNeighborhood.card_firstNeighbors_reindex line 54
  8. theorem OAI.SeymourSecondNeighborhood.card_secondNeighbors_reindex line 60
  9. theorem OAI.SeymourSecondNeighborhood.counterexample_reindex line 66
  10. theorem OAI.SeymourSecondNeighborhood.counterexample_reindex_iff line 72
  11. theorem OAI.SeymourSecondNeighborhood.exists_counterexample_fin line 81