Referenced by:

• topology-urysohn-lemma