ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5113 on D5155: Basic real covariance
Componentwise additivity of covariance for random real numbers