P
Initializing...
`BookProof.ChapterLayerNorm.sum_sq_layerNorm` (hd : 0 < d) {x : Fin d → ℝ} (hx : 0 < variance x) : ∑ i, (layerNorm x i) ^ 2 = (d : ℝ) · Prove2Me