Assertion: principal connection | /r/CapableOf | induce connection
Facets:
value: on e. first
type: LOCATION
Source sentences:
text: E. Then a (principal) connection on F(E) induces a connection on E. First note that sections of E are in one-to-one correspondence with right-equivariant maps F(E)