Assertion: cover | /r/HasProperty | manifold
Facets:
Source sentences:
text: In particular, every covering of a manifold is a manifold, and the covering homomorphism becomes a smooth map.