Linear algebra (Osnabrück 2024-2025)/Linear mapping/Determination on basis/Fact/Factreferencenumber

Theorem 10.10