Convergence in distribution

A sequence of real random variables is said to converge in distribution to a real random variable iff the CDFs obey #m/def/prob

for all points where is continuous.

#state/tidy | #lang/en | #SemBr