Linear algebra (Osnabrück 2024-2025)/Linear inhomogeneous system/Elimination/Echelon form and triangular form/Fact/Factreferencenumber

Theorem 5.5