Nagata-Smirnov metrization theorem

Statement
A topological space is metrizable iff it is regular and has a countably locally finite basis.

Related results

 * Smirnov metrization theorem