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

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

Result R2891 on D1416: Differentiable euclidean real function

Finite sum of differentiable functions is differentiable