Mathematics for Applied Sciences (Osnabrück 2023-2024)/Determinant/Field/Upper triangular matrix/Fact/Factreferencenumber

Lemma 26.8