Let $t \mapsto e^x$ be the D1932: Standard natural real exponential function.
Let $x, y \in \mathbb{R}$ each a D993: Real number such that

(i)	\begin{equation} x < y \end{equation}

Then \begin{equation} e^x < e^y \end{equation}