Mathematics for Applied Sciences (Osnabrück 2023-2024)/Determinant/Recursively/Multilinear/Fact/Factreferencenumber

Theorem 26.9