Source: wikibot/nagata-smirnov-metrization-theorem

= Nagata–Smirnov metrization theorem
{wiki=Nagata–Smirnov_metrization_theorem}