OAI/Combinatorics/MatchingCount/Complexity/TreePolynomialDivision.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_digitValue line 10
2. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_divStep line 13
3. lemma OAI.MatchingFPRAS.TreeTyped.nat_size_double_digit line 39
4. lemma OAI.MatchingFPRAS.TreeTyped.divStep_sizes line 46
5. lemma OAI.MatchingFPRAS.TreeTyped.divFold_sizes line 56
6. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_divFold line 70
7. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_divCore line 87
8. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_division line 94