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