History

for article: De Bruijn–Erdős theorem (graph theory)