Metamath Proof Explorer

Table of Contents - 13.3. Derivatives

1. Real and complex differentiation
   1. Derivatives of functions of one complex or real variable
   2. Results on real differentiation