`BookProof.ChapterLayerNorm.variance_smul` (a : ℝ) (x : Fin d → ℝ) : variance (fun i => a * x i) = a ^ 2 * variance x

Initializing...

`BookProof.ChapterLayerNorm.variance_smul` (a : ℝ) (x : Fin d → ℝ) : variance (fun i => a * x i) = a ^ 2 * variance x · Prove2Me