Kurs:Einführung in die mathematische Logik/Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Faktreferenznummer
Erscheinungsbild
Lemma 11.13 (Diskrete Mathematik (Osnabrück 2020))
Lemma 11.13 (Diskrete Mathematik (Osnabrück 2020))