`BookProof.ChapterAttentionOutput.headOutput_const` (beta : ℝ) (s : Fin m → ℝ) (w : E) (i : Fin m) : headOutput beta s (fun _ => w) = w

Initializing...

`BookProof.ChapterAttentionOutput.headOutput_const` (beta : ℝ) (s : Fin m → ℝ) (w : E) (i : Fin m) : headOutput beta s (fun _ => w) = w · Prove2Me