`BookProof.ChapterScaledDotProduct.scoreSoftmax_div` (beta c : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => s l / c) j = scoreSoftmax (beta / c) s j

Initializing...

`BookProof.ChapterScaledDotProduct.scoreSoftmax_div` (beta c : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => s l / c) j = scoreSoftmax (beta / c) s j · Prove2Me