`BookProof.ChapterAttentionMarkov.compose_isStochastic` {P Q : Fin m → Fin m → ℝ} (hP : IsStochastic P) (hQ : IsStochastic Q) : IsStochastic (compose P Q)

Initializing...

`BookProof.ChapterAttentionMarkov.compose_isStochastic` {P Q : Fin m → Fin m → ℝ} (hP : IsStochastic P) (hQ : IsStochastic Q) : IsStochastic (compose P Q) · Prove2Me