Assertion: connection | /r/HasProperty | proved
Facets:
Source sentences:
text: Every vector bundle over a manifold admits a connection, which can be proved using partitions of unity.