Source: /wikibot/homotopy-lifting-property

= Homotopy lifting property
{wiki=Homotopy_lifting_property}