Assertion: universal cover | /r/HasProperty | given as the quotient of ph
Facets:
Source sentences:
text: The universal cover of H is given as the quotient of PH by the normal subgroup of null-homotopic loops.