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
Structured

Syntax definition cdv

Description: The derivative operator.

		Ref	Expression
	Assertion	cdv	class D