Linear algebra (Osnabrück 2024-2025)/Linear mapping/Diagonalizable/Direct sum of eigenspaces/Fact/Factreferencenumber

Lemma 22.11