Extending complete continuous pseudometrics
Volume 41 / 1979
Colloquium Mathematicum 41 (1979), 237-241
DOI: 10.4064/cm-41-2-237-241