P
Initializing...
Maximal planarity forces the triangulated lower bound · Prove2Me