Kurs:Analysis/Abbildungsraum/Abgeschlossene beschränkte Menge/Maximumsnorm/Euklidisch/Fakt/Faktreferenznummer

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