Linear algebra (Osnabrück 2024-2025)/Linear mapping/Eigenspace as kernel/Fact/Factreferencenumber

Lemma 22.1