I would include the short proof, but also mention that the lemma appeared before.
GH from MO
- 105.4k
- 8
- 293
- 398
I would include the short proof, but also mention that the lemma appeared before.