Read news on theorems with our app.
Read more in the app
A Good Lemma Is Worth a Thousand Theorems (2007)