theoremref – References with automatic theorem names

The the­o­rem­ref pack­age pro­vides vari­ants of the \la­bel and \ref com­mands for the­o­rem-like en­vi­ron­ments, ca­pa­ble of au­to­mat­i­cally type­set­ting ref­er­ences in­clud­ing the the­o­rem name (apart from the the­o­rem num­ber).
The scheme is par­tic­u­larly valu­able if the au­thor de­cides to change a lemma to a propo­si­tion or a the­o­rem (or what­ever).