ThmDex – An index of mathematical definitions, results, and conjectures.
P3300
Follows from the characterisation result R4811: Markov chain triple iff endpoints conditionally independent since the conditional independence relation is symmetric. $\square$