Syntax definition ccpn

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

	Ref	Expression
Assertion	ccpn	$$class{C}^n$$