Assertion: covering graph | /r/HasProperty | unique
Facets:
value: up to isomorphism
type: OTHER
Source sentences:
text: The universal covering graph is unique (up to isomorphism).