Assertion: regular graph | /r/HasAspect | same universal cover
Facets:
value: for any k
type: TRANSITIVE-OBJECT
Source sentences:
text: For any k, all k-regular graphs have the same universal cover: the infinite k-regular tree.