Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Linear subspace/Dimensions/Compare/Fact/Factreferencenumber

Corollary 23.20