ThmDex – An index of mathematical definitions, results, and conjectures.
Exponential random positive real number is a gamma random positive real number
Formulation 0
Let $T \in \text{Exponential}(\theta)$ be an D214: Exponential random positive real number.
Then \begin{equation} T \overset{d}{=} \text{Gamma}(1, \theta) \end{equation}
Proofs