Definition:Smirnov's Deleted Sequence Topology/Historical Note

Historical Note on Smirnov's Deleted Sequence Topology
Smirnov's deleted sequence topology appears first to have been discussed by in his $1951$ paper in connection with his metrization theorem.