ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4429 on D2012: Conditional probability
Subresult of R3639: Bayes' theorem in presence of countable partition of the sample space

Bayes' theorem in presence of finite partition of the sample space

Subresults

▶	R3404: Bayes' theorem in the case of two events