Linear algebra (Osnabrück 2024-2025)/Matrix/Staircase form by elementary manipulations/Fact/Factreferencenumber

Theorem 12.9