Commit 2025-08-07 12:26 9da5e1d8
View on Github →chore: simplify the proof that the variance of independent random variables is the sum of the variances (#27989) Building on #27988 proving that the covariance of independent random variables is zero, simplify the proof that the variance of independent random variables is the sum of the variances by unfolding the variance and proving that the non-diagonal terms are 0.