`ChapterTotalVariance.variance_nonneg` (w Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) : 0 ≤ variance w Y

Initializing...

`ChapterTotalVariance.variance_nonneg` (w Y : Ω → ℝ) (hw : ∀ ω, 0 ≤ w ω) : 0 ≤ variance w Y · Prove2Me