`BookProof.ChapterAttentionMarkov.attentionMatrix_isStochastic` (beta : ℝ) (S : Fin m → Fin m → ℝ) : IsStochastic (attentionMatrix beta S)

Initializing...

`BookProof.ChapterAttentionMarkov.attentionMatrix_isStochastic` (beta : ℝ) (S : Fin m → Fin m → ℝ) : IsStochastic (attentionMatrix beta S) · Prove2Me