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

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

Proof P3417 on R4972: Bias-variance partition of mean square error for a random real column matrix

P3417

This result is a particular case of R4970: . $\square$