Assertion: principal connection | /r/HasProperty | a notion of parallel transport
Facets:
Source sentences:
text: The principal connection α defines an Ehresmann connection on this bundle, hence a notion of parallel transport.