Linear algebra (Osnabrück 2024-2025)/System of linear equations/Set of variables/Equivalent system/Manipulations/Fact/Factreferencenumber

Lemma 5.3