Assertion: planar graph | /r/HasProperty | a minor of the h×h-grid
Facets:
Source sentences:
text: Every planar graph H is a minor of the h×h-grid, where h = 2 | V ( H