OAI/Combinatorics/PerfectMatching/FeasibilityRepair.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BinaryMatching.degree_add line 12
  2. lemma OAI.BinaryMatching.cut_add line 17
  3. lemma OAI.BinaryMatching.cut_bound line 22
  4. def OAI.BinaryMatching.degreeCorrection line 31
  5. lemma OAI.BinaryMatching.correction_degree line 35
  6. lemma OAI.BinaryMatching.correction_bound line 50
  7. def OAI.BinaryMatching.uniform line 73
  8. lemma OAI.BinaryMatching.uniform_box line 75
  9. lemma OAI.BinaryMatching.uniform_degree line 81
  10. def OAI.BinaryMatching.TrivialCut line 88
  11. lemma OAI.BinaryMatching.trivial_cut_degree line 90
  12. lemma OAI.BinaryMatching.uniform_nontrivial_cut line 100
  13. lemma OAI.BinaryMatching.uniform_feasible line 122
  14. theorem OAI.BinaryMatching.feasibility_repair line 131