Kolmogorov extension theorem (source code)

= Kolmogorov extension theorem
{wiki=Kolmogorov_extension_theorem}