`BookProof.ChapterAttentionPrior.priorSoftmax_zero` (w : Fin m → ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax w 0 s j = w j / ∑ l, w l

Initializing...

`BookProof.ChapterAttentionPrior.priorSoftmax_zero` (w : Fin m → ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax w 0 s j = w j / ∑ l, w l · Prove2Me