Linear algebra (Osnabrück 2024-2025)/Determinant/Recursively/Alternating/Swap property/Fact/Factreferencenumber

Theorem 16.10