ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4815 on D3348: Markov chain
Finite Markov chain iff endpoints conditionally independent
Subresults
▶ R4811: Markov chain triple iff endpoints conditionally independent