`BookProof.ChapterLayerNorm.mean_layerNorm` (hd : 0 < d) (x : Fin d → ℝ) : mean (layerNorm x) = 0

Initializing...

`BookProof.ChapterLayerNorm.mean_layerNorm` (hd : 0 < d) (x : Fin d → ℝ) : mean (layerNorm x) = 0 · Prove2Me