Smirnov metrization theorem

Statement
A topological space is metrizable iff it is paracompact Hausdorff and locally metrizable.

Related results

 * Nagata-Smirnov metrization theorem