Referenced by:

• topology-lebesgue-number-lemma