`BookProof.ChapterLayerNorm.mean_smul` (a : ℝ) (x : Fin d → ℝ) : mean (fun i => a * x i) = a * mean x

Initializing...

`BookProof.ChapterLayerNorm.mean_smul` (a : ℝ) (x : Fin d → ℝ) : mean (fun i => a * x i) = a * mean x · Prove2Me