P
Initializing...
Maximal planar graphs attain the triangulation edge count · Prove2Me