`BookProof.ChapterLayerNorm.layerNorm_add_const` (hd : 0 < d) (x : Fin d → ℝ) (c : ℝ) (i : Fin d) : layerNorm (fun i => x i + c) i = layerNorm x i

Initializing...

`BookProof.ChapterLayerNorm.layerNorm_add_const` (hd : 0 < d) (x : Fin d → ℝ) (c : ℝ) (i : Fin d) : layerNorm (fun i => x i + c) i = layerNorm x i · Prove2Me