Template:def-see/documentation

The template is used in a definition line to link to lemmas that contain information that one might expect to find on the entry they're in.