Source: wikibot/pro-simplicial-set

= Pro-simplicial set
{wiki=Pro-simplicial_set}