Repository navigation

mypy

Fix a stale link to the `math.integer.isqrt()` correctness proof (#15… #10834

Job	Run time
Run mypy on Tools/build	30s
Run mypy on Tools/check-c-api-docs	33s
Run mypy on Tools/clinic	37s
Run mypy on Lib/tomllib	33s
Run mypy on Tools/jit	30s
Run mypy on Lib/test/libregrtest	34s
Run mypy on Tools/peg_generator	32s
Run mypy on Tools/cases_generator	32s
Run mypy on Lib/_pyrepl	30s
	4m 51s