Korollar 21.8
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 21 Vektorraum/Skalarprodukt/Vollständiger Untervektorraum/Orthogonale Darstellung/Fakt