OAI/Combinatorics/MatchingCount/Graphs/TreeBagTable.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.ExecutableHierarchy.BagInput line 9
  2. def OAI.MatchingFPRAS.ExecutableHierarchy.edgeKey line 11
  3. def OAI.MatchingFPRAS.ExecutableHierarchy.edgeKeyRealizer line 14
  4. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_edgeKey line 18
  5. def OAI.MatchingFPRAS.ExecutableHierarchy.incident line 27
  6. def OAI.MatchingFPRAS.ExecutableHierarchy.incidentRealizer line 28
  7. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_incident line 31
  8. def OAI.MatchingFPRAS.ExecutableHierarchy.edgeIndex line 37
  9. def OAI.MatchingFPRAS.ExecutableHierarchy.edgeIndexRealizer line 39
  10. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_edgeIndex line 41
  11. def OAI.MatchingFPRAS.ExecutableHierarchy.bag line 47
  12. def OAI.MatchingFPRAS.ExecutableHierarchy.bagRealizer line 49
  13. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_bag line 52
  14. def OAI.MatchingFPRAS.ExecutableHierarchy.bagTable line 62
  15. def OAI.MatchingFPRAS.ExecutableHierarchy.bagTableRealizer line 63
  16. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_bagTable line 65
  17. lemma OAI.MatchingFPRAS.ExecutableHierarchy.edgeKey_eq line 74
  18. lemma OAI.MatchingFPRAS.ExecutableHierarchy.edgeIndex_eq line 85