theorem
AnalyticNumberTheory.LargeSieve.standardBombieriVinogradov_of_nonprincipalPrimitivePsi
(hSW : NonprincipalPrimitivePsiSiegelWalfiszSource)
:
With the principal source discharged by MediumPNT and the chosen high
source unconditional, Standard Bombieri--Vinogradov retains only the genuine
nonprincipal primitive Siegel--Walfisz input.
Inspect dependencies
AnalyticNumberTheory.LargeSieve.standardBombieriVinogradov_of_nonprincipalPrimitivePsi ยท compiled type and proof/definition references.