Linear algebra (Osnabrück 2024-2025)/Linear mapping/Different eigenvalues/Diagonalizable/Fact/Factreferencenumber

Corollary 22.10