Definition .
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung Differenzierbare Abbildung/R/Regulärer Punkt/Maximaler Rang/Definition