Kurs:Analysis (Osnabrück 2014-2016)/Reelle endlichdimensionale Vektorräume/Euklidische Struktur/Unabhängigkeit/Fakt/Faktreferenznummer