Linear algebra (Osnabrück 2024-2025)/Vector space/Dimension n and n vectors/Equivalences/Fact/Factreferencenumber

Corollary 8.10