Source: wikibot/lebesgue-s-number-lemma

= Lebesgue's number lemma
{wiki=Lebesgue's_number_lemma}