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

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

Result R2890 on D1416: Differentiable euclidean real function

Basic real polynomial function is differentiable