Talk:Tietze Extension Theorem

linked from http://mizar.org/version/current/html/tietze.html --Ysangkok (talk) 21:34, 8 October 2015 (UTC)