ThmDex – An index of mathematical definitions, results, and conjectures.
F8858
Formulation 1
Let $X \in \text{Poisson}(\lambda)$ be a D2854: Poisson random natural number.
Let $t \in \mathbb{R}$ be a D993: Real number.
Then \begin{equation} \mathfrak{F}_X(t) = \exp \left( \lambda (e^{i t} - 1) \right) \end{equation}