Metamath Proof Explorer


Syntax definition ccpn

Description: The set of n -times continuously differentiable functions.

Ref Expression
Assertion ccpn class 𝓑C𝑛