Syntax definition ccpn

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

	Ref	Expression
Assertion	ccpn	class C^n