`ChapterTotalVariance.groupBalance` (w : Ω → ℝ) (X : Ω → κ) (Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) (g : κ) : (∑ ω, if X ω = g then w ω * (Y ω

Initializing...

`ChapterTotalVariance.groupBalance` (w : Ω → ℝ) (X : Ω → κ) (Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) (g : κ) : (∑ ω, if X ω = g then w ω * (Y ω - condMean w X Y g) else 0) = 0 · Prove2Me