Skip to content
Back to pull request #30273

[Merged by Bors] - feat(NumberTheory/SumTwoSquares): it is decidable whether a number is the sum of two squares #239078

Sign in to view logs

[Merged by Bors] - feat(NumberTheory/SumTwoSquares): it is decidable whether a number is the sum of two squares

[Merged by Bors] - feat(NumberTheory/SumTwoSquares): it is decidable whether a number is the sum of two squares #239078

Post-Build Step (fork)

Post-Build Step (fork)
succeeded Oct 15, 2025 in 2m 15s