History

for article: Nagata–Smirnov metrization theorem