Linear algebra (Osnabrück 2024-2025)/Linear mapping/Trigonalizable/Characterization with characteristic polynomial/Fact/Factreferencenumber

Theorem 25.10