Lemma 39.12
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 39
Äquivalenzklassen/Partition/Eigenschaften/Fakt