OAI/Combinatorics/ThinTrees/PartialFractions.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrongThinTree.MSS.Rational.upper_root_I line 12
2. lemma OAI.StrongThinTree.MSS.Rational.upper_root_neg_I line 33
3. lemma OAI.StrongThinTree.MSS.Rational.principal_part_order line 56
4. lemma OAI.StrongThinTree.MSS.Rational.polynomial_part_order line 72
5. def OAI.StrongThinTree.MSS.Rational.cval line 83
6. lemma OAI.StrongThinTree.MSS.Rational.cval_real line 85
7. lemma OAI.StrongThinTree.MSS.Rational.continuous_cval line 88
8. lemma OAI.StrongThinTree.MSS.Rational.pole_test line 90
9. lemma OAI.StrongThinTree.MSS.Rational.cval_mul line 127
10. lemma OAI.StrongThinTree.MSS.Rational.cval_pow line 129
11. lemma OAI.StrongThinTree.MSS.Rational.cval_X_sub_C line 131
12. lemma OAI.StrongThinTree.MSS.Rational.simple_roots line 134
13. lemma OAI.StrongThinTree.MSS.Rational.cval_ray line 157
14. lemma OAI.StrongThinTree.MSS.Rational.reverse_at_zero line 163
15. lemma OAI.StrongThinTree.MSS.Rational.ray_limit line 166
16. lemma OAI.StrongThinTree.MSS.Rational.degree_le line 188
17. lemma OAI.StrongThinTree.MSS.Rational.monic_eq_prod_roots line 221
18. lemma OAI.StrongThinTree.MSS.Rational.simple_decomposition line 229
19. lemma OAI.StrongThinTree.MSS.Rational.decomposition_value line 276
20. lemma OAI.StrongThinTree.MSS.Rational.residue_value line 299
21. lemma OAI.StrongThinTree.MSS.Rational.positive_decomposition_monic line 323
22. lemma OAI.StrongThinTree.MSS.Rational.positive_decomposition line 364