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

Corollary 13.12