Urysohn's lemma (source code)

= Urysohn's lemma
{wiki=Urysohn's_lemma}

Urysohn's lemma is a fundamental result in topology, particularly in the area of general topology dealing with normal spaces.