Baumgartner–Hajnal theorem

GPTKB entity