Linear algebra (Osnabrück 2024-2025)/Nilpotent endomorphism/Successive kernels/Fact/Factreferencenumber

Lemma 27.10