Linear algebra (Osnabrück 2024-2025)/Determinant function/Behavior under row operations/Fact/Factreferencenumber

Lemma 17 2.