Assertion: universal cover | /r/HasProperty | connected
Facets:
value: simply
type: MANNER
Source sentences:
text: One can show that the universal cover is simply connected and the kernel is just the fundamental group of H.