`BookProof.ChapterAttentionStreaming.headOutput_snoc` (beta sn : ℝ) (s : Fin m → ℝ) (vn : E) (v : Fin m → E) : headOutput beta (Fin.snoc s sn) (Fin.snoc v vn) = (1

Initializing...

`BookProof.ChapterAttentionStreaming.headOutput_snoc` (beta sn : ℝ) (s : Fin m → ℝ) (vn : E) (v : Fin m → E) : headOutput beta (Fin.snoc s sn) (Fin.snoc v vn) = (1 - newWeight beta · Prove2Me