Bing's Metrization Theorem/Historical Note

Historical Note on Bing's Metrization Theorem
The theorem by was discovered in $1951$ independently of the Nagata-Smirnov Metrization Theorem discovered by  ($1950$) and  ($1951$).

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