`ChapterTotalVariance.total_variance` [Finite κ] (w : Ω → ℝ) (X : Ω → κ) (Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) : variance w Y = within w X Y + between w X Y

Initializing...

`ChapterTotalVariance.total_variance` [Finite κ] (w : Ω → ℝ) (X : Ω → κ) (Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) : variance w Y = within w X Y + between w X Y · Prove2Me