ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13423 on R5676: Variance of a squared standard gaussian real number
F13423
Formulation 0
Let $Z \in \text{Gaussian}(0, 1)$ be a D211: Standard gaussian random real number.
\begin{equation} \text{Var} Z = 2 \end{equation}