The theoremref package provides variants of the \label and \ref
commands for theorem-like environments, capable of automatically
typesetting references including the theorem name (apart from the theorem
number). This comes handy if you do not feel like manually checking
and fixing every \ref command in your file whenever you need to change
a Lemma to a Proposition or Theorem or vice versa.

The package is dually licensed as LPPL or GPL.