Kurs:Analysis/Differenzierbarkeit/K/Totale Differenzierbarkeit impliziert richtungsweise Differenzierbarkeit/Fakt/Faktreferenznummer

Proposition 46.1 (Analysis (Osnabrück 2021-2023))