Korollar 21.7
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 21 Vektorraum/Skalarprodukt/Vollständiger Untervektorraum/Punkt/Minimaler Abstand/Fakt