Satz 21.3
Kurs:Invariantentheorie (Osnabrück 2025-2026)/Vorlesung 21 Euklidischer Vektorraum/Isometrie/Eigenwerte/Fakt