OAI/Combinatorics/MatchingCount/Complexity/TreePolynomialLists.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_fst line 10
2. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_snd line 12
3. lemma OAI.MatchingFPRAS.TreeTyped.weight_append line 14
4. lemma OAI.MatchingFPRAS.TreeTyped.weight_reverse line 18
5. lemma OAI.MatchingFPRAS.TreeTyped.weight_prefix line 20
6. lemma OAI.MatchingFPRAS.TreeTyped.weight_map_bound line 25
7. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_reverse line 34
8. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_mulStep line 46
9. lemma OAI.MatchingFPRAS.TreeTyped.mulStep_size line 55
10. lemma OAI.MatchingFPRAS.TreeTyped.mulStep_fold_first line 63
11. lemma OAI.MatchingFPRAS.TreeTyped.mulStep_fold_size line 68
12. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_mulFold line 80
13. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_multiply line 96