Assertion: function | /r/HasProperty | class c∞
Facets:
Source sentences:
text: The function f is said to be of class C∞, or smooth, if it has derivatives of all orders.