P
Initializing...
Edge-maximal planar graphs satisfy the Euler edge lower bound · Prove2Me