Definition:Smirnov's Deleted Sequence Topology/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Smirnov's Deleted Sequence Topology

Smirnov's deleted sequence topology appears first to have been discussed by Yurii Mikhailovich Smirnov in his $1951$ paper in connection with his metrization theorem.


Sources