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

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

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

F9906

Formulation 0

Let $x \mapsto e^x$ be the D1932: Standard natural real exponential function.

Then \begin{equation} e^0 = 1 \end{equation}