Source: /wikibot/homotopy-extension-property

= Homotopy extension property
{wiki=Homotopy_extension_property}