Fix a stale link for the math.integer.isqrt correctness proof#154685

StanFromIreland merged 3 commits into

python:mainpython/cpython:mainfrom

mdickinson:fix-stale-isqrt-proof-linkmdickinson/cpython:fix-stale-isqrt-proof-linkCopy head branch name to clipboard