Linear algebra (Osnabrück 2024-2025)/Vector space/Characterizations of basis/Maximal/Minimal/Fact/Factreferencenumber

Theorem 7.11