Assertion: principal connection | /r/CapableOf | define an ehresmann connection
Facets:
value: on this bundle
type: LOCATION
Source sentences:
text: The principal connection α defines an Ehresmann connection on this bundle, hence a notion of parallel transport.