# [dev-context] Enhancements to core-des for theorems

Hans Hagen pragma at wxs.nl
Sun Jun 3 19:47:10 CEST 2007

```Aditya Mahajan wrote:
> \definenumber[lemma]
> \defineenumeration[lemma][theorem][number=lemma]
>
> Do you think it makes sense to add this in the core?
well, it's basically there so i'll give it a try

Hans

-----------------------------------------------------------------