OAI/Combinatorics/MatchingCount/Machines/TreeFiniteCollections.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.TreeTyped.fold_prepend line 11
  2. lemma OAI.MatchingFPRAS.TreeTyped.weight_flatten line 16
  3. def OAI.MatchingFPRAS.TreeTyped.flatten line 24
  4. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_flatten line 29
  5. def OAI.MatchingFPRAS.TreeTyped.flatMapPoly line 43
  6. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_flatMapPoly line 45
  7. def OAI.MatchingFPRAS.TreeTyped.finsetSingleton line 50
  8. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_finsetSingleton line 53
  9. def OAI.MatchingFPRAS.TreeTyped.finsetInsert line 58
  10. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_finsetInsert line 61
  11. def OAI.MatchingFPRAS.TreeTyped.finsetBiUnion line 69
  12. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_finsetBiUnion line 84