Commit 2026-08-06 10:40 3c2d12d6

View on Github →

chore(NumberTheory/Ostrowski): simplify and golf proofs (#42183)

Estimated changes