ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P2979 on R4341: Bayes' theorem in the case of two pullback events
P2979
This result is a particular case of R3404: Bayes' theorem in the case of two events. $\square$