Glivenko's theorem (probability theory) (source code)

= Glivenko's theorem (probability theory)
{wiki=Glivenko's_theorem_(probability_theory)}