Linear algebra (Osnabrück 2024-2025)/Linear subspace/Intersection/Dimension estimate/Fact/Factreferencenumber

Corollary 9.8