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

Result R3631 on D2140: Random real number variance
Subresult of R3256: Variance of random finite basic real sum is sum of covariances

Variance of uncorrelated finite basic real sum is sum of variances