Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Characterizations of basis/Maximal/Minimal/Fact/Factreferencenumber

Theorem 23.12