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

Initializing...

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