`BookProof.ChapterAttentionSink.headOutput_sink` (beta s0 : ℝ) (s : Fin m → ℝ) (v0 : E) (v : Fin m → E) : headOutput beta (Fin.cons s0 s) (Fin.cons v0 v) = sinkWeight beta s0 s • v

Initializing...

`BookProof.ChapterAttentionSink.headOutput_sink` (beta s0 : ℝ) (s : Fin m → ℝ) (v0 : E) (v : Fin m → E) : headOutput beta (Fin.cons s0 s) (Fin.cons v0 v) = sinkWeight beta s0 s • v · Prove2Me