{ "source_revision": "3f3ade6b272533e2b6c9bdb3b0ef6d477c9b0fe8", "docgen_revision": "498457dedc5bf2eb884c5100804ef24c96b92a08", "lean_toolchain": "leanprover/lean4:v4.33.0-rc1", "mathlib_revision": "e4c91783ca8e6a7c693ae624ade32fd22d4e43c1", "dependency_documentation": "https://leanprover-community.github.io/mathlib4_docs/", "scope": "full", "renderer_jobs": 2, "modules": [ "AnalyticNumberTheory", "AnalyticNumberTheory.LargeSieve.Additive", "AnalyticNumberTheory.LargeSieve.BombieriDavenport", "AnalyticNumberTheory.LargeSieve.CharacterIndicators", "AnalyticNumberTheory.LargeSieve.Duality", "AnalyticNumberTheory.LargeSieve.GeomSum", "AnalyticNumberTheory.LargeSieve.Multiplicative", "AnalyticNumberTheory.LargeSieve.NonCoprimeDensity", "AnalyticNumberTheory.LargeSieve.PanTypeIAssembly", "AnalyticNumberTheory.LargeSieve.PanTypeIIAssembly", "AnalyticNumberTheory.LargeSieve.WellSpaced", "AnalyticNumberTheory.Mertens.Abelian", "AnalyticNumberTheory.Mertens.AbelianRemainder", "AnalyticNumberTheory.Mertens.Basic", "AnalyticNumberTheory.Mertens.ConstantIdentity", "AnalyticNumberTheory.Mertens.FinitePart", "AnalyticNumberTheory.Mertens.GammaKernel", "AnalyticNumberTheory.Mertens.LogChange", "AnalyticNumberTheory.Mertens.MangoldtBridge", "AnalyticNumberTheory.Mertens.PartialSummation", "AnalyticNumberTheory.Mertens.PrimeAbel", "AnalyticNumberTheory.Mertens.Product", "AnalyticNumberTheory.Mertens.Theorems", "AnalyticNumberTheory.PrimeDistribution.ChebyshevTheta", "AnalyticNumberTheory.PrimeDistribution.PrimeNumberTheorem", "AnalyticNumberTheory.Sieve.BombieriVinogradov", "AnalyticNumberTheory.Sieve.Distribution", "AnalyticNumberTheory.Sieve.GoldbachDensity", "AnalyticNumberTheory.Sieve.LinearSieve", "AnalyticNumberTheory.Sieve.PanAssembly", "AnalyticNumberTheory.Sieve.PanMainTerm", "AnalyticNumberTheory.Sieve.PanMeanValueBody", "AnalyticNumberTheory.Sieve.PanV1SquareMean", "AnalyticNumberTheory.Sieve.PanV3SquareMean", "AnalyticNumberTheory.Sieve.PanVaughanPointwise", "AnalyticNumberTheory.Sieve.SelbergIdentities", "AnalyticNumberTheory.Sieve.SelbergUpperBound", "AnalyticNumberTheory.Sieve.SingularSeries", "AnalyticNumberTheory.Sieve.SumTwoPowWeighted", "AnalyticNumberTheory.Sieve.VaughanIdentity", "AnalyticNumberTheory.Sieve.W1Assembly", "AnalyticNumberTheory.Sieve.W1LemmaB", "AnalyticNumberTheory.Sieve.W2Transfer", "AnalyticNumberTheory.Sieve.WeightedPan", "Goldbach", "Goldbach.Blueprint", "Goldbach.Checks", "Goldbach.Statement", "Goldbach.Theorem", "MathlibNt", "MathlibNt.Analysis.LogPowerBounds", "MathlibNt.AnalyticNumberTheory.BombieriVinogradov.Bombieri1965Richert418", "MathlibNt.AnalyticNumberTheory.BombieriVinogradov.Bombieri1965Richert418Unconditional", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma1MellinClosure", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma1PerronKernel", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma1PerronKernelCore", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma2PrimitiveLargeSieve", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma3LFourthMoment", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma3WeightedFourthMoment", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma4CharacterSum", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma5SwitchedTripleSource", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6AggregateDerivativeMoment", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6AllLevelSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation12", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation14DyadicTail", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17AlphaBridge", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17BromwichSum", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17Conjugation", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17ContourShift", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17CorrectedAssembly", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17CorrectedKernel", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17KernelBounds", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation17ShiftPayments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation18Weight", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19AlphaSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19BetaSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19DyadicAlphaMoment", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19DyadicPairEnergy", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19Final", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19FixedPowerEnvelopes", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19MomentTransport", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19SourceParameters", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation19UniformMoments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20AlphaSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20BetaIntegral", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20BetaSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20ComplementaryMoments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20CorrectedFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20SharpBetaAssembly", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation20UnconditionalFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21ActualShift", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21AnalyticPayments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteContour", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteContourBudget", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteLogDerivative", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteScalar", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FiniteZeroFreeProducer", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21FullKernelBudget", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21HorizontalDecay", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21KernelTailBound", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21LogDerivativeFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21LogTailMoments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21PowerLoss", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21SourceWidth", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21StripFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21UniformConditionalFinal", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21UniformVerticalEstimate", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21VerticalEstimate", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equation21ZeroFreeContourBridge", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equations14And15", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equations14And15ScalarPayments", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6Equations16And17", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6M2Bound", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6PositiveLevelSmall", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma6SourceWeightHeight", "MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973MellinMoment", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLAbelWeightVariation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLActualCompletedArchimedeanBridge", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLActualFourFactorLocalZeroRepulsion", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLCharacterHolomorphicLog", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLConditionalDerivativeAnalyticContinuation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLConditionalDerivativeSeries", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLConditionalValueSeries", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLFiniteDerivativeTruncationBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLFoundation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLGlobalConductorLogDerivativeBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLGlobalConductorLogValueBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLGlobalNonquadraticConductorLogDerivative", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLGlobalNonquadraticConductorLogZeroFree", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLLocalExplicitFormulaLogRemainder", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLLocalFiniteDiskExplicitFormula", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLNonquadraticConductorLogRectangle", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLPrefixBoundedHarmonicTail", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLPrimitiveRootNumberNorm", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLPrincipalEulerCorrectionLogBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConditionalAnnularLogDerivative", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConditionalCentralLogDerivative", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConditionalCrossZeroRectangle", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConditionalPowerRectangle", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConditionalPowerZeroFree", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticConjugation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticFunctionalEquation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticHarmonicTruncation", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticPolyaVinogradov", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticPolyaVinogradovExplicit", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelConvolution", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelDiscrepancyControl", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelFiniteExceptions", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelPowerAmplifier", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelRankinBarrier", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticSiegelTotalDiscrepancy", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticTatuzawaExceptionalUniqueness", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticTatuzawaMultiplicativeValueTransfer", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticTatuzawaPairRankin", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticTatuzawaZeroContribution", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLQuadraticValueAtOnePositive", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLRightHalfPlaneBounds", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLTwistedSmoothedPerron", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLWeakStripDerivative", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLWeakStripDerivativeBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLWeakStripDifferenceBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLWeakStripValueBound", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLZeroFreeFiniteRectangleLogDerivative", "MathlibNt.AnalyticNumberTheory.DirichletL.DirichletLZeroFreeHalfPlaneLogDerivative", "MathlibNt.AnalyticNumberTheory.LargeSieve.AggregateCauchyFourthMoment", "MathlibNt.AnalyticNumberTheory.LargeSieve.BilinearTensorFourthMomentExplicit", "MathlibNt.AnalyticNumberTheory.LargeSieve.BilinearTensorPrefixMaximalExplicit", "MathlibNt.AnalyticNumberTheory.LargeSieve.BombieriDavenport", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerCutoff", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerHalfStepContour", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerHighAggregate", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerLong", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerPayment", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerPerron", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerPerronAssembly", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerShort", "MathlibNt.AnalyticNumberTheory.LargeSieve.ChenLiuCoprimeProducerVerticalIntegral", "MathlibNt.AnalyticNumberTheory.LargeSieve.ConductorBadPrimeCorrection", "MathlibNt.AnalyticNumberTheory.LargeSieve.ConductorChangeLevelLedger", "MathlibNt.AnalyticNumberTheory.LargeSieve.ConductorLocalPrimitiveLargeSieve", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanHyperbolicPrimitiveL1", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanMaximalPhaseSeparation", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanPerronKernel", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanRankOneSeparation", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanRectangularPrefixMaximalAmbient", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedArctanSelectorHyperbolicPrimitiveL1", "MathlibNt.AnalyticNumberTheory.LargeSieve.DampedPerronMajorantIntegral", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirectConductorWeight", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedNonquadraticPointwiseSiegelWalfisz", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedPerronRightVerticalIntegrable", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedQuadraticPointwiseSiegelWalfisz", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedConductorLogContour", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedConductorLogEdges", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedContourNormBounds", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedNonquadraticErrorAssembly", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedPsiClose", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedQuadraticConditionalContourNorm", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedQuadraticConditionalErrorAssembly", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedQuadraticConditionalExactPrefix", "MathlibNt.AnalyticNumberTheory.LargeSieve.DirichLTwistedSmoothedRightTailQuantitative", "MathlibNt.AnalyticNumberTheory.LargeSieve.DyadicPrefixMaximal", "MathlibNt.AnalyticNumberTheory.LargeSieve.FourFactorUnconditionalEndpoints", "MathlibNt.AnalyticNumberTheory.LargeSieve.HighConductorDyadicPrimitive", "MathlibNt.AnalyticNumberTheory.LargeSieve.ImprimitiveConductorWeight", "MathlibNt.AnalyticNumberTheory.LargeSieve.ImprimitiveConductorWeightLinear", "MathlibNt.AnalyticNumberTheory.LargeSieve.LandauSiegelToLowSWConditionalAdapter", "MathlibNt.AnalyticNumberTheory.LargeSieve.LandauSiegelToLowSWSource", "MathlibNt.AnalyticNumberTheory.LargeSieve.LandauSiegelToStandardBVCanonicalSmoothing", "MathlibNt.AnalyticNumberTheory.LargeSieve.LogPowerBounds", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanQuotientBounds", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingEarlySourceReduction", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingEquation223Contour", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingEquation223Source", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowCarrierCorrection", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowEndpoint", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowMass", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowMovingPrefix", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowPayment", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingLowPrimePrefix", "MathlibNt.AnalyticNumberTheory.LargeSieve.PanWangDingTheoremADyadicCoverage", "MathlibNt.AnalyticNumberTheory.LargeSieve.PointwisePrimitivePrefixAmplitudeBridge", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrefixMaximal", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimeAPPartialSummation", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimeAPSourceClosure", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimitiveCharacterElementaryPeriodBound", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimitiveCharacters", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimitiveGaussFareyExactBridge", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrimitiveWeightedFamilyMassBound", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrincipalLambdaGlobalReduction", "MathlibNt.AnalyticNumberTheory.LargeSieve.PrincipalPNTSourceFromMediumPNT", "MathlibNt.AnalyticNumberTheory.LargeSieve.ProductionDyadicConductorGeometry", "MathlibNt.AnalyticNumberTheory.LargeSieve.RankOneRectangularPrimitiveL1", "MathlibNt.AnalyticNumberTheory.LargeSieve.ReducedFareyGauss", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVAdaptiveSmallCutoff", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVBlockL1WeightedPrimitive", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVCharacterOrthogonality", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVChosenSmallSquare", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVElementaryPayments", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVExactLowHighConnector", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVFinalLowOnlyProducer", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVFinalNonprincipalOnly", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVHighChosenUnconditional", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVHighConductorLocalAssembly", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVHighHybridFeasibility", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVLowHighConductor", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVLowSiegelWalfiszProducer", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVPayload", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVSquareMeanToL1Dyadic", "MathlibNt.AnalyticNumberTheory.LargeSieve.StandardBVSufficientAssembly", "MathlibNt.AnalyticNumberTheory.LargeSieve.TruncatedPerronKernel", "MathlibNt.AnalyticNumberTheory.LargeSieve.VonMangoldtConductorCorrection", "MathlibNt.AnalyticNumberTheory.LargeSieve.ZetaPolePlusLogBound", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4LogInduction", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4QuadraticConvolutionAsymptotic", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4QuadraticConvolutionContinuation", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4QuadraticConvolutionWeightedSum", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4QuadraticSmallValueRealZero", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4RawSiegel", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4SiegelDichotomy", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4SiegelLowerBound", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterAsymptotic", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterContinuation", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterConvolution", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterFixedWitness", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterInduction", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterPairContinuation", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterPairHarmonic", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterPairSummatory", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterSingleAsymptotic", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterValueUpperBound", "MathlibNt.AnalyticNumberTheory.Siegel.Bombieri1965Theorem4TwoCharacterWeightedSum", "MathlibNt.AnalyticNumberTheory.Vaughan.ActualVaughanTypeIIBlockOrdinaryLS", "MathlibNt.AnalyticNumberTheory.Vaughan.ConductorLocalVaughanShellLedgers", "MathlibNt.AnalyticNumberTheory.Vaughan.HighConductorVaughanTypeIIFixedShell", "MathlibNt.AnalyticNumberTheory.Vaughan.HighConductorVaughanTypeIIShellSum", "MathlibNt.AnalyticNumberTheory.Vaughan.HighConductorVaughanTypeIRow", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIElementaryPeriodCauchy", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIAllAspectBlockScalar", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIAspectSafeBlockL1", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIHighConductorAllAspect", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIRectangularAspectGate", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIRectangularCoeffBounds", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIRectangularExplicitShell", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIRectangularMaximalShell", "MathlibNt.AnalyticNumberTheory.Vaughan.ProductionVaughanTypeIIRectangularSharpBridge", "MathlibNt.AnalyticNumberTheory.Vaughan.StandardBVHighActualVaughanRows", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanAllCharacterAnalyticLedger", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectAPNormalizedAssembly", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectAPNormalizedTypeIIActualDecomposition", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectAPNormalizedTypeIIActualPhysical", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectAPNormalizedTypeIIBilinearShell", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectAPNormalizedTypeIPhysicalInput", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectL1Physical", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanDirectTypeIPhysicalScale", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanPrefixReduction", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanSmallRangeAndCharacters", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIActualDyadic", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIActualDyadicClosure", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIActualDyadicDecomposition", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIEnergy", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIActualTensorEnergy", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIActualTensorMoment", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIActualTensorMomentExplicit", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIBilinear", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIBilinearFourthMomentScale", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIICanonicalShortLength", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIDyadicLedger", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIEnergy", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeIIPrimitiveBilinear", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeILongCoeffMomentExplicit", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeILongVariable", "MathlibNt.AnalyticNumberTheory.Vaughan.VaughanTypeILongVariablePrimitiveMaximal", "MathlibNt.ChensTheorem", "MathlibNt.ChensTheoremUnconditional", "MathlibNt.SieveTheory.Arithmetic.LiuLogarithmicIntegral", "MathlibNt.SieveTheory.Arithmetic.LiuSingularSeries", "MathlibNt.SieveTheory.Arithmetic.MertensTheorem", "MathlibNt.SieveTheory.Arithmetic.PrimeReciprocalLogRectangle", "MathlibNt.SieveTheory.Arithmetic.PrimeReciprocalLogScale", "MathlibNt.SieveTheory.Arithmetic.SingularSeries", "MathlibNt.SieveTheory.Chen.ChenVerifiedPrerequisites", "MathlibNt.SieveTheory.Chen.TripleMain", "MathlibNt.SieveTheory.Distribution.Bombieri1965RichertWeightedConsumer", "MathlibNt.SieveTheory.Distribution.BombieriVinogradov", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanActualCountCharacters", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanActualErrorEnvelope", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanAggregatePsiCharacters", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanAggregatePsiDyadic", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCanonicalWeightTransfer", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCofactorFinite", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCofactorMass", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCofactorReduction", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCombinedAbel", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCombinedAbelDeterministic", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanCombinedInverseLog", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanConvolutionAPCount", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanConvolutionCoefficient", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanConvolutionSourceCount", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanLiMainTermEnvelope", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanModernWeightTransfer", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPaidPrincipalReduction", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimePowerCharacters", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimePowerCorrection", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimePowerLargeSieve", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimePowerPowerSaving", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimitiveCharacterTransfer", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimitiveLedgerAssembly", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrimitivePerron", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrincipalMoving", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrincipalPNT", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanPrincipalRemainder", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanSignedResidualSplit", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanUnweightedToWeighted", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanUnweightedUnconditional", "MathlibNt.SieveTheory.Distribution.LiuPan.LiuPanWangDingSource", "MathlibNt.SieveTheory.LinearSieve", "MathlibNt.SieveTheory.LinearSieve.BoundaryIntegrals", "MathlibNt.SieveTheory.LinearSieve.BoundaryMass", "MathlibNt.SieveTheory.LinearSieve.BoundaryRegularity", "MathlibNt.SieveTheory.LinearSieve.FiniteWeights", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965ChenDelayAsymptotic", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965ChenDelayDecay", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965ChenDelayFunctions", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965ChenDelayMonotonicity", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965ChenRichertConsumer", "MathlibNt.SieveTheory.LinearSieve.JurkatRichert.JurkatRichert1965Section13HatSource", "MathlibNt.SieveTheory.LinearSieve.LevelSupported.Q1LevelSupportedSieve", "MathlibNt.SieveTheory.LinearSieve.LevelSupported.Q1MainTermAbsorption", "MathlibNt.SieveTheory.LinearSieve.Richert.Richert1969BombieriWeightPayment", "MathlibNt.SieveTheory.LinearSieve.Richert.Richert1969CombinedModulusEStar", "MathlibNt.SieveTheory.LinearSieve.Richert.Richert1969Ordinary418Specialization", "MathlibNt.SieveTheory.LinearSieve.Richert.Richert1969SquarefulA4", "MathlibNt.SieveTheory.LinearSieve.Richert.Richert1969Theorem1FiniteChain", "MathlibNt.SieveTheory.LinearSieve.Rosser.LowerRosserAccumulatorNormalization", "MathlibNt.SieveTheory.LinearSieve.Rosser.LowerRosserBoundaryNonneg", "MathlibNt.SieveTheory.LinearSieve.Rosser.LowerRosserSuzukiActualBridge", "MathlibNt.SieveTheory.LinearSieve.RosserChains", "MathlibNt.SieveTheory.LinearSieve.SieveApplications", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCanonicalXiConstruction", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCanonicalXiQuantitativeDerivatives", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIConcreteFiniteAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIEndpointBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIEndpointRegime", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointCoefficientUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointCommonThreshold", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointErrorAbsorption", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointFiniteAbsorption", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointFromCaseI", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointGapUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointQuantitative", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIEndpointTransport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIExactRatioCoefficients", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIExactRatioDirectAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIFinalRelativeContraction", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIIntegralTransportRelative", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIILambdaShortInterval", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIINaturalCutoff", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIPositiveDeltaDecay", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIIPositiveEndpointPacket", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISharpPositiveEndpointCoefficients", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISharpRawEndpoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISourceContractionGap", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISourceFiniteAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISourceSigmaDecay", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISourceSigmaGeometryEventually", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIISourceSigmaPowerDecay", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseIMiddleConcreteProvider", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseISourceRecurrence", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCaseITotalInequality", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiChenAdaptiveDepthAbsorption", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiChenParameterBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiChenVaryingFamilyLowerDensity", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim1413Internal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseABoundedK", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseAFixedDRange", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseAHighSFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseAHighSScalar", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseAHighSSourceLarge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseALowS", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseALowSFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseBAllS", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseBUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseIEventually", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseII", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145CaseSplitFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145ComparisonInternal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145Complete", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145OddLowStripSmallLogActual", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145OddLowStripSmallLogScalar", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145ScalarEventual", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145SmallDHighCoordinate", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145SourceBranchInterface", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145SourceFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145SourceParameters", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim145SourceSigmaFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146FullInternal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146Integral", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146IntegralClosure", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146LargePackage", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146Quantitative", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146ShortInterval", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiClaim146iErrorEnvelopeTransport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiContinuousLowerFactorSecondInterval", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiCutoffClaim146iiiSanitized", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiDDEUnitShiftRatioSanitized", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiDensityBoundingSieveBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiDiscreteParityRecurrence", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiDoubleRoundedDirectAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEinEulerTailAsymptotic", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEndpointScalarBounds", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1053KernelExpansion", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1053MinusExclusion", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1053MinusFirstCrossing", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1053NonCircular", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1055SourceExpansion", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1055UniformStationary", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1056ScalarAbsorption", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEquation1056UniformStationary", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiErrorEnvelopeCeilBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiEvenSourceLayerRealLimit", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteAbel", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteBoundaryTermination", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteContinuousLayers", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteContinuousLayersKappaOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteLowerBoundaryLimit", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteSourceLayerEvenLimit", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteSourceLayerLemma86", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFiniteSourceLayerProp93", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiFixedGapRpowMargin", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiIntegralDDEPairing", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1017Comparison", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1017GlobalPropagation", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1022CanonicalKernel", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1022DownwardCrossingCore", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1022LowerBarrier", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1027ExplicitAdjoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1028CommonMajorant", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1028FirstCrossing", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma1028ReverseEnvelope", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132BaseOneDirect", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132EndpointSlack", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132ExactParityTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132FiniteHatUniformInterface", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132OddLowStrip", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma132SlackFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma133WeightedTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma141ElementaryMass", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma141Factorial", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma141LocalProductMass", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma142InfiniteTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma143FullTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma143LogExponent", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma143NatCeilSupport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma143UniformTailCore", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144ActualRecurrence", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144ActualRecurrenceStrictCeil", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144BaseFullUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144BaseOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144BaseOneAllD", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseI1423SigmaCubedDecay", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIAbsorption", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIEndpointSourceLargeLogUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIErrorTransportUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIEvenEndpoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIEvenEndpointFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIEvenEndpointSourceLargeLogPointwise", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIEvenEndpointSourceLargeLogSameC", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIFinalProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIGeometryPacket", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIBaseOneSameC", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIBracketGapQuantitative", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIICubicClosedEndpoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIDispatcher", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIEndpointGap", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIErrorTransportUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIFinalBoundary", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIFinalProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIMovingFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIOddFinalClosure", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIOddFinalProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIOddSuccessorSameC", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIRawRoundedFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIIRawRoundedTransportRefactor", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIISourceLargeLogMoving", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIISourceLargeLogUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseIMovingSuccessor", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISourceLargeCoefficientUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISourceLargeLogPointwiseProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISourceLargeLogUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISourceLargeLogUniformCutoff", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISuccessor", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISuccessorFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CaseISuccessorUniformStrict", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144CommonScaleUniformCutoff", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144EndpointSourceBoundsFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144EndpointSourceBoundsSourceLargeLogUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144EndpointSourceBoundsUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Equation1410", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144ErrorEnvelopeTransportFull", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144ErrorObjects", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144ExplicitRemaindersSourceOrder", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144FiniteInductionBoundary", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144FiniteInductionFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144FullFiniteDepthFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144IHInstantiation", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144LiteralAllDepth", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144LiteralAllDepthUniformInS", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144MovingDomainFiniteInduction", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144NatCeilPowerCarrier", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144NoDminAllDepthGlue", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144NoDminFullInduction", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144NoDminMovingBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144RecursiveCoordinateSourceSigma", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Remainder1423", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0CaseBUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0EndpointTransport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0EndpointTransportUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0Exact", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0ExactStrictCeil", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0Internal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma0UniformityBoundary", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma11EvenEndpoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma11Internal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma12NatCeil", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma12NatCeilClosed", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma12NatCeilUniform", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144Sigma12QDEnvelopePointwise", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144SigmaTwoDichotomy", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144SigmaTwoZeroKappaOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma144SourceLargeLogFixedThreshold", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma147ContinuousLowerFactor", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma147JurkatRichertInterval", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma147LowerFiniteFactor", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma87DimensionOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLemma87FiniteSourceRecursion", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLiteralAllDepthLowerRosserExact", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerDepthFourCarrier", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerDepthFourMass", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerSieveAmplitudeLimit", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerSieveFactorEvenLimitBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerSieveFactorFirstInterval", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiLowerSieveFactorFirstIntervalIdentity", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMainRatioBound", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMainTermNormalization", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMinusFirstCrossingProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingCertificateOnSource", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingClaim146ToCaseIIFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingClaim146iIICorrected", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingDDEAsymptoticClosure", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingDerivativeDDECompactRange", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingDerivativeDDELargeRange", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingSigmaClaim146SourceAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingSigmaClaim146iII", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingSigmaCompactHead", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingSigmaDifferentialTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiMovingSigmaElementaryHead", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiNatCeilPowerCarrier", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiPowerCoordinates", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition1023Phase", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118FinitePrefixPairing", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118InitialStripReduction", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118KappaOneBoundaryAdjoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourceIntegralDDE", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourcePairingFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourceQFinitePrefixClosure", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourceQFiniteTelescoping", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourceSeriesPairing", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition118SourceTailPairingZero", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131TailDecay", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131iiLowerFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131iiLowerInternal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131iiQhatLocal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131iiiReverseFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiProposition131iiiReverseRatio", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedBaseOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedCaseIEndpoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedConcreteRelativeAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedEndpointError", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedEndpointTransport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedTransportErrorBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiRoundedTransportExactRatio", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSecondIntervalJurkatRichertBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection10CutoffCorrectedRatio", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13BridgeAssembly", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13HatLayersKappaOne", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13MajorantsFinal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13PQBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13PairingComparison", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13PairingZero", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13PairingZeroSpecialized", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13QhatMajorantClosure", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection13QhatMajorantInternal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSection14LegalDomainBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSigma11Sigma12MiddleRange", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSigmaElevenPrimeSumIdentification", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSigmaTwelveCarrierEquality", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSigmaTwelveGlobalScaling", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSourceCaseIICutoff", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSourceCaseIIFinalEventual", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSourceClaim146AssemblyNext", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSourceRoundedGeometryPacket", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiSourceToLowerRosserDensityTransport", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiStandardUpperAdjoint", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiStandardUpperAdjointDDE", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiStandardUpperAdjointScaledTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserAdaptiveDiscreteTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserAllDepth", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserBoundarySourceSuccLayer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserDensityEndpointDirect", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserDensityFinalBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserDensityProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserFiniteToContinuousFinalProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserFiniteToContinuousProducer", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserQuantitativeJointDiagonal", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserRelativeFiniteDepth", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserTerminalSplitBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserUniformInitialization", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperRosserWeightedAggregateTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperSourcePTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperSourcePairingConservation", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperSourcePairingNormalization", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiUpperSourcePairingWindowTail", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiVOneNaturalBridge", "MathlibNt.SieveTheory.LinearSieve.Suzuki.SuzukiVnSemanticResolution", "MathlibNt.SieveTheory.LinearSieve.UpperRosserDensity", "MathlibNt.SieveTheory.Liu.LogarithmicIntegral.LiuTrueLiPan", "MathlibNt.SieveTheory.Liu.LogarithmicIntegral.LiuTrueLiPanSigned", "MathlibNt.SieveTheory.Liu.PrimePairs.LiuPrimePairLogGrid", "MathlibNt.SieveTheory.Liu.PrimePairs.LiuPrimePairLogGridLimit", "MathlibNt.SieveTheory.Liu.PrimePairs.LiuPrimePairLogKernel", "MathlibNt.SieveTheory.Liu.PrimePairs.LiuPrimePairTransfer", "MathlibNt.SieveTheory.Liu.Weights.LiuWeight", "MathlibNt.SieveTheory.Liu.Weights.LiuWeightMainIntegral", "MathlibNt.SieveTheory.Liu.Weights.LiuWeightMainSum", "MathlibNt.SieveTheory.Liu.Weights.LiuWeightPaperQ", "MathlibNt.SieveTheory.Liu.Weights.LiuWeightROuter", "MathlibNt.SieveTheory.LowerSuzukiDiscreteBridge", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergCoefficient", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergCorrectedChenBridge", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergCorrectionEuler", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergDenominatorAsymptotic", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergDenominatorConvolution", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergDenominatorHarmonic", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergEvenAssembly", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergMainTerm", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergMainTermInstantiation", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergOptimalWeights", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergPrimeDivisorGrowth", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergRemainder", "MathlibNt.SieveTheory.Selberg.Liu.LiuSelbergUniformEuler", "MathlibNt.SieveTheory.Selberg.SelbergUpperBound", "MathlibNt.SieveTheory.Switching.AlternatingPairs", "MathlibNt.SieveTheory.Switching.BoundaryChainIntegrals", "MathlibNt.SieveTheory.Switching.BoundaryDensity", "MathlibNt.SieveTheory.Switching.CorrectedSievePanBridge", "MathlibNt.SieveTheory.Switching.EndpointAssembly", "MathlibNt.SieveTheory.Switching.IntegralComparison", "MathlibNt.SieveTheory.Switching.LogarithmicMesh", "MathlibNt.SieveTheory.Switching.MainTerm", "MathlibNt.SieveTheory.Switching.PrimePenaltyAsymptotics", "MathlibNt.SieveTheory.Switching.ResidualBounds", "MathlibNt.SieveTheory.Switching.ResidualComparison", "MathlibNt.SieveTheory.Switching.RosserSieveAsymptotics", "MathlibNt.SieveTheory.Switching.ScreenedDarboux", "MathlibNt.SieveTheory.Switching.ScreenedResidual", "MathlibNt.SieveTheory.Switching.SourceSieve", "MathlibNt.SieveTheory.Switching.SuzukiPrimeSums", "MathlibNt.SieveTheory.Switching.VaryingPrimeSieve", "MathlibNt.SieveTheory.Switching.WeightedCounting", "MathlibNt.SieveTheory.Switching.Weights", "MathlibNt.SieveTheory.SwitchingPrinciple", "MathlibNt.SieveTheory.UpperRosserSuzukiActualBridge", "MathlibNt.SieveTheory.UpperRosserSuzukiExactBridge", "PrimeNumberTheoremAnd.Auxiliary", "PrimeNumberTheoremAnd.Consequences", "PrimeNumberTheoremAnd.Defs", "PrimeNumberTheoremAnd.EulerMaclaurin", "PrimeNumberTheoremAnd.Fourier", "PrimeNumberTheoremAnd.Mathlib.Algebra.Notation.Support", "PrimeNumberTheoremAnd.Mathlib.Analysis.Asymptotics.Asymptotics", "PrimeNumberTheoremAnd.Mathlib.Analysis.SpecialFunctions.Log.Basic", "PrimeNumberTheoremAnd.MediumPNT", "PrimeNumberTheoremAnd.MellinCalculus", "PrimeNumberTheoremAnd.Rectangle", "PrimeNumberTheoremAnd.ResidueCalcOnRectangles", "PrimeNumberTheoremAnd.SmoothExistence", "PrimeNumberTheoremAnd.Sobolev", "PrimeNumberTheoremAnd.Tactic.AdditiveCombination", "PrimeNumberTheoremAnd.Wiener", "PrimeNumberTheoremAnd.ZetaBounds", "PrimeNumberTheoremAnd.ZetaConj" ], "module_count": 735, "declaration_count": 9305, "external_url_count": 10416, "blueprint_included": true, "layout": "project-home", "api_path": "docs/", "blueprint_path": "blueprint/", "homepage_sha256": "cadfd64764d88e4443c1427b1a212d148e50addb4aa0fd37d817155acca1a730" }