`BookProof.ChapterLayerNorm.variance_eq_zero_iff` (hd : 0 < d) (x : Fin d → ℝ) : variance x = 0 ↔ ∀ i, x i = mean x

Initializing...

`BookProof.ChapterLayerNorm.variance_eq_zero_iff` (hd : 0 < d) (x : Fin d → ℝ) : variance x = 0 ↔ ∀ i, x i = mean x · Prove2Me