Talk:Urysohn Lemma

linked from http://mizar.org/version/current/html/urysohn3.html#T20 --Ysangkok (talk) 21:11, 8 October 2015 (UTC)