Kurs:Invariantentheorie (Osnabrück 2012-2013)/Äquivalenzklassen/Partition/Eigenschaften/Fakt/Faktreferenznummer

Lemma 6.17 (Einführung in die Algebra (Osnabrück 2009))