Talk:Smirnov Metrization Theorem

This can indeed be merged to the Nagata-Smirnov Metrization Theorem if and only if it can be confirmed that being regular and having a basis that is countably locally finite is the same thing as being paracompact and locally metrizable.. --prime mover (talk) 08:12, 27 January 2018 (EST)