Linear algebra (Osnabrück 2024-2025)/Characteristic polynomial/Direct sum decomposition/Fact/Factreferencenumber

Lemma 26.10