Linear algebra (Osnabrück 2024-2025)/Quadratic matrix/Rank/Invertible/Linearly independent/Fact/Factreferencenumber

Corollary 12.16