Linear algebra (Osnabrück 2024-2025)/Homomorphism space/Functorial properties/Fact/Factreferencenumber

Lemma 13.8