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

This can indeed be merged to the Nagata-Smirnov Metrization Theorem if and only if 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)