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

Theorem 13.11