Linear algebra (Osnabrück 2024-2025)/Endomorphism/Trigonalizable/Direct sum/Fact/Factreferencenumber

Lemma 26.14