Linear algebra (Osnabrück 2024-2025)/Permutation/Sign/Group homomorphism/Fact/Factreferencenumber

Theorem 18.13