Corrected link for custom operator priorities.#533

RichardKelley wants to merge 1 commit intoleanprover:mainleanprover/reference-manual:mainfrom

RichardKelley:priorityRichardKelley/reference-manual:priorityCopy head branch name to clipboard