Bing's Metrization Theorem/Historical Note

Historical Note on Bing's Metrization Theorem

Bing's Metrization Theorem was discovered in $1951$ by R.H. Bing, independently of the Nagata-Smirnov Metrization Theorem discovered by Jun-iti Nagata ($1950$) and Yurii Mikhailovich Smirnov ($1951$).

The two theorems Bing's Metrization Theorem and Nagata-Smirnov Metrization Theorem are often merged as the Bing-Nagata-Smirnov Metrization Theorem.