Linear algebra (Osnabrück 2024-2025)/Matrix/Adjugate matrix/Formula with determinant/Fact/Factreferencenumber

Theorem 17.9