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

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

Result R5253 on D5681: Real function derivative

Derivative for standard natural real exponential function