# Exponential on Real Numbers is Injection

## Theorem

Let $\exp: \R \to \R$ be the exponential function:

$\map \exp x = e^x$

Then $\exp$ is an injection.

## Proof

$\exp$ is strictly increasing on $\R$.
$\exp$ is an injection.

$\blacksquare$