Linear algebra (Osnabrück 2024-2025)/Permutation matrix/Cycle/C/Eigenvalues/Fact/Factreferencenumber

Lemma 24.11