Assertion: total differential | /r/HasProperty | defined
Facets:
value: rigorously
type: MANNER
Source sentences:
text: The total differential is then rigorously defined as