`BookProof.ChapterAttentionPrior.priorSoftmax_smul` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) {c : ℝ} (hc : 0 < c) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax (fun l => c * w l

Initializing...

`BookProof.ChapterAttentionPrior.priorSoftmax_smul` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) {c : ℝ} (hc : 0 < c) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax (fun l => c * w l · Prove2Me