Kurs:Invariantentheorie (Osnabrück 2025-2026)/Invariantenring/Untergruppe/Fakt/Faktreferenznummer