Kurs:Grundkurs Mathematik/Endlicher Wahrscheinlichkeitsraum/Bedingte Wahrscheinlichkeit/Totale Wahrscheinlichkeit/Fakt/Faktreferenznummer

Lemma 58.10 (Grundkurs Mathematik (Osnabrück 2016-2017))