Linear algebra (Osnabrück 2024-2025)/Determinant/Field/Upper triangular matrix/Fact/Factreferencenumber

Lemma 16.4