OAI/Combinatorics/MatchingCount/Sampling/TreeMarking.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.ExecutableMarking.MarkInput line 12
  2. abbrev OAI.MatchingFPRAS.ExecutableMarking.Marks line 13
  3. def OAI.MatchingFPRAS.ExecutableMarking.markEdge line 15
  4. def OAI.MatchingFPRAS.ExecutableMarking.markEdgeRealizer line 17
  5. lemma OAI.MatchingFPRAS.ExecutableMarking.polynomial_markEdge line 21
  6. def OAI.MatchingFPRAS.ExecutableMarking.assign line 30
  7. def OAI.MatchingFPRAS.ExecutableMarking.assignRealizer line 32
  8. lemma OAI.MatchingFPRAS.ExecutableMarking.polynomial_assign line 35
  9. def OAI.MatchingFPRAS.ExecutableMarking.marksRep line 43
  10. lemma OAI.MatchingFPRAS.ExecutableMarking.assign_rep line 46
  11. lemma OAI.MatchingFPRAS.ExecutableMarking.assign_draw line 58