`BookProof.ChapterAttentionPrior.priorSoftmax_pos` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : 0 < priorSoftmax w beta s j

Initializing...

`BookProof.ChapterAttentionPrior.priorSoftmax_pos` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : 0 < priorSoftmax w beta s j · Prove2Me