Assertion: solder's point | /r/HasProperty | determined by distinguished section
Facets:
Source sentences:
text: from the tangent space of M at x to the (vertical) tangent space of the fibre at the point determined by the distinguished section.