Assertion: linear function | /r/HasProperty | differential form
Facets:
Source sentences:
text: The set of all velocities through a given point of space is known as the tangent space, and so df gives a linear function on the tangent space: a differential form.