NASA technical translation TT (series). F-192. Necessary and sufficient condition for metricization of topological space [with bibliography]; by Yu. Smirnov.

Tools