theorem AnalyticNumberTheory.LargeSieve.standardBombieriVinogradov_of_nonprincipalPrimitivePsi (hSW : NonprincipalPrimitivePsiSiegelWalfiszSource) : MathlibNt.SieveTheory.BombieriVinogradov.StandardBombieriVinogradov

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.