A Good Lemma Is Worth a Thousand Theorems

2 points | by susam 11 hours ago