`BookProof.ChapterLayerNorm.sum_sq_sub_mean_eq` (hd : 0 < d) (x : Fin d → ℝ) : ∑ i, (x i - mean x) ^ 2 = (d : ℝ) * variance x

Initializing...

`BookProof.ChapterLayerNorm.sum_sq_sub_mean_eq` (hd : 0 < d) (x : Fin d → ℝ) : ∑ i, (x i - mean x) ^ 2 = (d : ℝ) * variance x · Prove2Me