Documentation

Mathlib.Probability.Variance