Mathlib
Atlas
Atlas
/
Prob.
/
Probability measures
The Gaussian
1/4
A probability measure on ℝ is a measure with ℙ(ℝ) = 1.
P
(
R
)
=
1
Replay
Challenge
Ask
mean μ
0.00
σ
0.80