Template:DefsLink

This template is to be used to provide a link to a specific definition category used by a given proof category.

It can be called by:
 *   (for default definitions category)
 *   (for a specific definitions category)

Definitions specific to this category can be found in Definitions.