Talk:Metrizable iff Regular and has Sigma-Locally Finite Basis

This can indeed be merged to the Nagata-Smirnov Metrization Theorem it can be confirmed that a $\sigma$-locally finite basis is the same thing as a basis that is countably locally finite. --prime mover (talk) 08:12, 27 January 2018 (EST)