ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3383 on D211: Standard gaussian random real number
Stein's lemma