Assertion: cover | /r/HasProperty | homeomorphism
Facets:
Source sentences:
text: If is simply connected and is connected, then this holds globally as well, and the covering is a homeomorphism.