OAI/NumberTheory/Ostmann/ZeroDensity/DensityPrimeBlock.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A populated small-prime block with balanced residue masks
- theorem
OAI.Ostmann.exists_density_prime_blockline 11