Kategorie:Dimensionstheorie für endlichdimensionale Vektorräume/Fakten