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