Differenzierbar/D offen K/Umkehrfunktion/Fakt/Name

Der Satz über die Ableitung der Umkehrfunktion zu einer bijektiven differenzierbaren Funktion

$f\colon {\mathbb {K} }\longrightarrow {\mathbb {K} }.$