mathlib3

cf65daf0 - feat(probability/variance): define the variance of a random variable, prove its basic properties (#13912)