P
Initializing...
Sparse drawable graphs admit a strict planar extension · Prove2Me