Mycielski–Grötzsch graph

GPTKB entity