ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3108 on R4559: Probability of complement of an almost sure event
P3108
This result is a particular case of R3719: Probability of complement event. $\square$