Linear algebra (Osnabrück 2024-2025)/Matrix/Row rank and column rank/Fact/Factreferencenumber

Lemma 12.15