A Good Lemma Is Worth a Thousand Theorems (2007)

by susam | View on Hacker News