Mathematics for Applied Sciences (Osnabrück 2023-2024)/Differentiable function/D in R/Rules/Fact/Factreferencenumber

Lemma 14.7