From a Definition Cascade for an operator, one can use the "WhoCites" link to get a listing of all the theorems and definitions in a section that use that operator. If there are theorems or definitions of prior sections that use the operator, there will also be links to listings of them included at the bottom of the page.

And finally, if a "conglomerate of sections" is attached as the larger context of the current section, then there will be a link to the corresponding citations page of the conglomerate. This gives you some focused access to material beyond the current section.

Example: Mentions of num_thy_1 (and prior) using |x|;