Assertion: universal cover | /r/HasProperty | constructed as certain space of paths
Facets:
value: in the space
type: LOCATION
Source sentences:
text: The universal cover of the space X can be constructed as a certain space of paths in the space X. More explicitly, it forms a principal bundle with the fundamental group π 1 (X) as structure group.