ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3371 on D1392: Holomorphic function
Complex power series is holomorphic on its disc of convergence