logoalt Hacker News

analog31today at 1:36 PM0 repliesview on HN

It's referred to as the Grothendieck Prime for this reason.