Documentation

Mathlib.Probability.Distributions.Gaussian