Assertion: graph's cover | /r/HasProperty | finite covering graph
Facets:
Source sentences:
text: A planar cover of a graph is a finite covering graph that is itself a planar graph.
text: For any k, all k-regular graphs have the same universal cover: the infinite k-regular tree.