ThmDex – An index of mathematical definitions, results, and conjectures.
Standardising a gaussian random real number
Formulation 0
Let $X \in \mathsf{N}(\mu, \sigma^2)$ be a D210: Gaussian random real number such that
(i) \begin{equation} \sigma^2 \neq 0 \end{equation}
Then \begin{equation} \frac{X - \mu}{\sigma} \in \mathsf{N}(0, 1) \end{equation}