Linear algebra (Osnabrück 2024-2025)/Affine space/Affine subspace/Characterization/Fact/Factreferencenumber

Lemma 29.14