Commit 2025-10-28 14:31 bbc9111f

feat: introduce covarianceBilin (#30324) The covarianceBilin associated to a measure on a Hilbert space is the positive semidefinite continuous bilinear form which represents its covariance. Also define the covariance operator of a measure.