I am using LyX to typeset a document. I wanted to use another theorem-like construct not available in
amsthm. So I included it using LaTeX code.
This works fine except the next theorem that appears using the built in theorem construct ends up having the same number as the one above. I tried using
\addtocounter, but this does not change the numbering.
Any idea how to fix this?