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

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

Result R3627 on D2140: Random real number variance

Variance of independent finite basic real sum is sum of variances