Database
BASIC REAL AND COMPLEX ANALYSIS
Derivatives
Real and complex differentiation
Derivatives of functions of one complex or real variable
cdv
Next ⟩
cdvn
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdv
Description:
The derivative operator.
Ref
Expression
Assertion
cdv
$${class}\mathrm{D}$$