ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3824 on D2140: Random real number variance
Subresult of R4724:
Bias-variance partition of mean square error
Also known as
Bias-variance decomposition of mean square error