Linear algebra (Osnabrück 2024-2025)/Vector space/Basis/Exchange theorem/Fact/Factreferencenumber

Theorem 8.2