Kurs:Diskrete Mathematik/Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Faktreferenznummer

Lemma 11.13 (Diskrete Mathematik (Osnabrück 2020))