OAI/Combinatorics/MatchingCount/Complexity/TreePolynomialSums.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.nat_fold_size_bound line 9
2. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_nat_fold line 21
3. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_listSum line 37
4. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_listProd line 42
5. lemma OAI.MatchingFPRAS.TreeTyped.pairingStep_fold_size line 48
6. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_pairingFold line 69
7. lemma OAI.MatchingFPRAS.TreeTyped.pairingNumber_numeric_work line 98
8. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_boundedPairingNumber line 106