`BookProof.ChapterLayerNorm.sum_sub_mean_eq_zero` (hd : 0 < d) (x : Fin d → ℝ) : ∑ i, (x i

Initializing...

`BookProof.ChapterLayerNorm.sum_sub_mean_eq_zero` (hd : 0 < d) (x : Fin d → ℝ) : ∑ i, (x i - mean x) = 0 · Prove2Me