MDLUL/riemannsche Metrik

Start=riemannsche Metrik

MDLUL/riemannsche Metrik

Ziel=Riemannsche Mannigfaltigkeit/C^1/Skalarproduktfunktion/Definition