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

Lemma 30.1