ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5113 on D5155: Basic real covariance

Componentwise additivity of covariance for random real numbers

Subresults

▶	R2259: Variance of a finite sum of random real numbers