List of things named after Alexander Grothendieck (source code)

= List of things named after Alexander Grothendieck
{wiki=List_of_things_named_after_Alexander_Grothendieck}