Kurs:Analysis/Euklidischer Raum/Lineare Abbildung/Stetig/Fakt/Faktreferenznummer

Satz 34.10 (Analysis (Osnabrück 2021-2023))