Kurs:Analysis/Lineares Differentialgleichungssystem/Konstante Koeffizienten/Eigenvektor/Lösung/Fakt/Faktreferenznummer

Lemma 42.1 (Analysis (Osnabrück 2021-2023))