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

Initializing...

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