Grothendieck prime

From HandWiki