P
Initializing...
`BookProof.ChapterLayerNorm.layerNorm_layerNorm` (hd : 0 < d) {x : Fin d → ℝ} (hx : 0 < variance x) (i : Fin d) : layerNorm (layerNorm x) i = layerNorm x i · Prove2Me