External Publication Visit Post A Good Lemma Is Worth a Thousand Theorems (2007) Hacker News [Unofficial] May 16, 2026 Like Share Source Comments
Discussion in the ATmosphere