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

Lemma 13.9