Trotter–Erdős theorem

GPTKB entity