Metamath Proof Explorer


Syntax definition cdvn

Description: The n -th derivative operator.

Ref Expression
Assertion cdvn class D n