ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3489 on D1416: Differentiable euclidean real function
Subresult of R3371: Complex power series is holomorphic on its disc of convergence

Basic real power series is differentiable on its disc of convergence

Also known as

Differentiation of basic real power series