Commit 2025-09-01 08:25 85aeacd5

View on Github →

There exists sufficient large prime p ≡ a (mod q), gcd(a,q)=1. (#29009) There exists sufficient large prime p ≡ a (mod q), gcd(a,q)=1.

Estimated changes