Source: /wikibot/tietze-extension-theorem

= Tietze extension theorem
{wiki=Tietze_extension_theorem}