Assertion: graph's g | /r/HasProperty | \displaystyle g+uv
Facets:
Source sentences:
text: due to Zykov (1949), where u and v are non-adjacent vertices, and G + u v {\displaystyle G+uv} is the graph with the edge uv added.