Assertion: graph | /r/HasAspect | planar cover
Facets:
Source sentences:
text: Every graph with an embedding in the projective plane has a planar cover coming from the orientable double cover of the projective plane; in 1988, Seiya Nagami conjectured that these are the only graphs with planar covers, but this remains unproven.