Urysohn metrization theorem

GPTKB entity