Linear algebra (Osnabrück 2024-2025)/Linear mapping/Dimension formula/Fact/Factreferencenumber

Theorem 11.5