Gaussian zero-one law for measurable linear subspaces (source code)

= Gaussian zero-one law for measurable linear subspaces
{c}

Every linear subspace that is measurable for the <cylinder sigma-algebra> has probability zero or one under a centered Gaussian process.