Linear algebra (Osnabrück 2024-2025)/Linear mapping/Eigenvalue zero/Characterization/Fact/Factreferencenumber

Lemma 21.7