Kurs:Invariantentheorie (Osnabrück 2012-2013)/Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Faktreferenznummer

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