LaTeX.org

Hi everybody!

I'm using LyX in conjunction with the IEEEtran layout. I've noticed that there is a unique counter that keeps track of propositions, theorems and lemmas, e.g.:

Theorem 1 - Proposition 2 - Theorem 3 - Proposition 4

Is there a way to set a separate counter for each math structure? e.g ...