Syntax definition ccpn

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

	Ref	Expression
Assertion	ccpn	class 𝓑C𝑛