Differentiable function/D in R/Rules/Fact/Proof