Assertion: universal cover | /r/HasProperty | made into topological group
Facets:
value: by the previous construction
type: OTHER
value: with the covering
type: OTHER
Source sentences:
text: By the previous construction the universal cover can be made into a topological group with the covering map a continuous homomorphism.