Linear algebra (Osnabrück 2024-2025)/Projection/Linear subspace/Idempotent/Fact/Factreferencenumber

Lemma 13.5