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

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

Formulation F9907 on R4285: Standard natural real exponential function maps zero to one

F9907

Formulation 1

Let $x \mapsto \exp(x)$ be the D1932: Standard natural real exponential function.

Then \begin{equation} \exp(0) = 1 \end{equation}