Gaussian measure (source code)

= Gaussian measure
{c}
{wiki}

A Gaussian measure on a real topological vector space is a Borel probability measure whose image under every continuous linear functional is a one-dimensional normal distribution.

= Gaussian Borel measure
{c}
{synonym}