Assertion: function's derivative | /r/HasProperty | class c0
Facets:
Source sentences:
text: Thus, a C1 function is exactly a function whose derivative exists and is of class C0.