Assertion: graph's cover | /r/HasProperty | planar
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.