[3.15] Fix a stale link to the math.integer.isqrt() correctness proof (GH-154685) - #154698
Merged
StanFromIreland merged 1 commit intoJul 25, 2026
Merged
Commits
Commits on Jul 25, 2026
- authored andcommitted