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>.