`BookProof.ChapterLayerNorm.layerNorm_smul_pos` {a : ℝ} (ha : 0 < a) (x : Fin d → ℝ) (i : Fin d) : layerNorm (fun i => a * x i) i = layerNorm x i

Initializing...

`BookProof.ChapterLayerNorm.layerNorm_smul_pos` {a : ℝ} (ha : 0 < a) (x : Fin d → ℝ) (i : Fin d) : layerNorm (fun i => a * x i) i = layerNorm x i · Prove2Me