OAI/Combinatorics/MatchingCount/Machines/TreePhantom.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_ranks_fintype line 11
  2. def OAI.MatchingFPRAS.ExecutableSource.sourceRanks line 28
  3. def OAI.MatchingFPRAS.ExecutableSource.sourceRanksRealizer line 29
  4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceRanks line 30
  5. lemma OAI.MatchingFPRAS.ExecutableSource.sourceRanks_source line 32
  6. lemma OAI.MatchingFPRAS.ExecutableSource.rankLookup line 44
  7. def OAI.MatchingFPRAS.ExecutableSource.sourceRank line 49
  8. def OAI.MatchingFPRAS.ExecutableSource.sourceRankRealizer line 50
  9. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceRank line 52
  10. lemma OAI.MatchingFPRAS.ExecutableSource.sourceRank_source line 55
  11. def OAI.MatchingFPRAS.ExecutableSource.phantomHeight line 65
  12. def OAI.MatchingFPRAS.ExecutableSource.phantomHeightRealizer line 66
  13. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_phantomHeight line 68
  14. lemma OAI.MatchingFPRAS.ExecutableSource.phantomHeight_source line 71
  15. def OAI.MatchingFPRAS.ExecutableSource.sourceBagWeight line 85
  16. def OAI.MatchingFPRAS.ExecutableSource.sourceBagWeightRealizer line 88
  17. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceBagWeight line 92
  18. lemma OAI.MatchingFPRAS.ExecutableSource.sourceBagWeight_source line 100
  19. theorem OAI.MatchingFPRAS.ExecutableSource.sourceBagWeight_post line 120