Linear algebra (Osnabrück 2024-2025)/Permutation/Sign via inversions/Fact/Factreferencenumber

Lemma 18.10