Exp
Elementary Functions
Exp[
z
]
Theorems
The Lindemann-Weierstrass theorem