equal
deleted
inserted
replaced
3 Author: Manuel Eberl, TU München |
3 Author: Manuel Eberl, TU München |
4 |
4 |
5 Connection of formal power series and actual convergent power series on Banach spaces |
5 Connection of formal power series and actual convergent power series on Banach spaces |
6 (most notably the complex numbers). |
6 (most notably the complex numbers). |
7 *) |
7 *) |
8 section \<open>Convergence of formal power series\<close> |
8 section \<open>Convergence of Formal Power Series\<close> |
|
9 |
9 theory FPS_Convergence |
10 theory FPS_Convergence |
10 imports |
11 imports |
11 Conformal_Mappings |
12 Conformal_Mappings |
12 Generalised_Binomial_Theorem |
13 Generalised_Binomial_Theorem |
13 "HOL-Computational_Algebra.Formal_Power_Series" |
14 "HOL-Computational_Algebra.Formal_Power_Series" |