after each definition, theorem, lemma, etc, link to all places where it is used

[d-morrison]

so students can see which items are important to memorize