Source: wikibot/grothendieck-existence-theorem

= Grothendieck existence theorem
{wiki=Grothendieck_existence_theorem}