As a result of refactoring a draft of my book, I now have some theorems with SEVERAL labels (labels follow after other labels immediately, without text or space between).
To make things worse, I sometimes refer to the same theorem by different labels in the text below the theorem. Is there an easy way to remove/rename superfluous labels without breaking document referential structure (that is a theorem should have maximum one label)? -- Victor Porton - http://portonvictor.org
