Linear algebra (Osnabrück 2024-2025)/Determinant function/Uniquely determined/Fact/Factreferencenumber

Theorem 17.3