Assertion: graph's degree | /r/HasProperty | average
Facets:
Source sentences:
text: Thus, if H has h vertices, then H-minor-free graphs have average degree O ( h log ⁡ h )