OAI/Combinatorics/MatchingCount/Arithmetic/TreeFractionExtra.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeFraction.sub line 10
2. def OAI.MatchingFPRAS.TreeFraction.subRealizer line 12
3. lemma OAI.MatchingFPRAS.TreeFraction.polynomial_sub line 16
4. lemma OAI.MatchingFPRAS.TreeFraction.sub_val line 20
5. lemma OAI.MatchingFPRAS.TreeFraction.mul_repr line 29
6. lemma OAI.MatchingFPRAS.TreeFraction.div_repr line 36
7. lemma OAI.MatchingFPRAS.TreeFraction.sub_repr line 43
8. lemma OAI.MatchingFPRAS.TreeFraction.height_mul line 50
9. lemma OAI.MatchingFPRAS.TreeFraction.fractionProduct_height line 64
10. lemma OAI.MatchingFPRAS.TreeFraction.polynomial_fractionProduct line 75
11. def OAI.MatchingFPRAS.TreeFraction.product line 91
12. def OAI.MatchingFPRAS.TreeFraction.productRealizer line 92
13. lemma OAI.MatchingFPRAS.TreeFraction.polynomial_product line 94