Source: wikibot/simplicial-localization

= Simplicial localization
{wiki=Simplicial_localization}