OAI/Combinatorics/PortMatching/Reduction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Perfect-matching-preserving port-path degree reduction for finite simple graphs.

  1. theorem OAI.Matching205.perfectMatching_forward line 14
  2. theorem OAI.Matching205.perfectMatching_reverse line 18
  3. theorem OAI.Matching205.perfectMatching_iff line 26
  4. theorem OAI.Matching205.simpleGraphReduction line 35