Real Function Differentiability 1
Konrad Raczkowski · 1990
Summary. For a real valued function defined on its domain in real numbers the differentiability in a single point and on a subset of the domain is presented. The main elements of differential calculus are developed. The algebraic properties of differential real functions are shown. MML Identifier:FDIFF_1. WWW:http://mizar.org/JFM/Vol2/fdiff_1.html