OAI/Combinatorics/MatchingCount/Graphs/TreeBagBuild.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.ExecutableSource.endpointEntry line 17
  2. def OAI.MatchingFPRAS.ExecutableSource.endpointEntryRealizer line 19
  3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_endpointEntry line 22
  4. def OAI.MatchingFPRAS.ExecutableSource.endpointList line 31
  5. def OAI.MatchingFPRAS.ExecutableSource.endpointListRealizer line 33
  6. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_endpointList line 35
  7. lemma OAI.MatchingFPRAS.ExecutableSource.index_vertices line 40
  8. lemma OAI.MatchingFPRAS.ExecutableSource.endpointEntry_source line 51
  9. lemma OAI.MatchingFPRAS.ExecutableSource.endpointList_members line 63
  10. abbrev OAI.MatchingFPRAS.ExecutableSource.BagBuildInput line 77
  11. def OAI.MatchingFPRAS.ExecutableSource.buildBags line 78
  12. def OAI.MatchingFPRAS.ExecutableSource.buildBagsRealizer line 80
  13. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_buildBags line 83
  14. lemma OAI.MatchingFPRAS.ExecutableSource.source_bagTable line 92
  15. lemma OAI.MatchingFPRAS.ExecutableSource.buildBags_source line 110
  16. theorem OAI.MatchingFPRAS.ExecutableSource.buildBags_post line 120