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

Initializing...

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