P
Initializing...
`BookProof.ChapterLayerNorm.abs_inner_layerNorm_le` (hd : 0 < d) {x y : Fin d → ℝ} (hx : 0 < variance x) (hy : 0 < variance y) : |∑ i, layerNorm x i * layerNorm y i| ≤ (d : ℝ) · Prove2Me