ThmDex – An index of mathematical definitions, results, and conjectures.
Comment T772 on F12796:
Note: the second parameter $\sqrt{t}$ in the notation $\text{Gaussian}(0, \sqrt{t})$ is the standard deviation so that $\text{Var} W_t = t$.