Lemma 16.3
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 16 Riemannsche Mannigfaltigkeit/Vektorfelder und 1-Formen/Fakt