OAI/NumberTheory/Ostmann/Dirichlet/
260 declarations, 0 contain sorry, 0 declared as axioms; 72 files
Files
- CompactZeroFree.lean 2 declarations
- ContourEdgeSelection.lean 2 declarations
- ContourMultiplicityPolynomial.lean 1 declarations
- ContourPolynomialBudget.lean 1 declarations
- ContourSeparatedBound.lean 1 declarations
- ContourZeroCount.lean 6 declarations
- ContourZeroSet.lean 6 declarations
- EntireJensen.lean 1 declarations
- FiniteContourAvoidance.lean 3 declarations
- GoodContourEdges.lean 2 declarations
- GoodContourRectangleBoundary.lean 3 declarations
- GrowthBase.lean 8 declarations
- GrowthIntegral.lean 4 declarations
- LocalZeroCount.lean 2 declarations
- LogDerivativeRight.lean 4 declarations
- LogZeroFree.lean 3 declarations
- PrimeCountAbel.lean 6 declarations
- PrimeCountAbelDefinitions.lean 1 declarations
- PrimeLogDerivative.lean 9 declarations
- PrimePowerRemainder.lean 8 declarations
- PrimeSeriesBounds.lean 4 declarations
- PrimeSeriesDefinitions.lean 2 declarations
- PrimeSeriesTailBound.lean 6 declarations
- PrimeSeriesTailDivisors.lean 3 declarations
- PrimeSeriesTailKernel.lean 4 declarations
- PrimeSeriesTailRemoved.lean 5 declarations
- PrimeSeriesTailScale.lean 4 declarations
- PrincipalHeightBound.lean 1 declarations
- QuadraticPolePenaltySharp.lean 2 declarations
- QuadraticZeroFreeSharp.lean 1 declarations
- RealLogDerivativeUpper.lean 1 declarations
- RectangleIntegration.lean 7 declarations
- SmoothedExplicitAbsorption.lean 1 declarations
- SmoothedExplicitChosenEdges.lean 1 declarations
- SmoothedExplicitContour.lean 5 declarations
- SmoothedExplicitContourBound.lean 2 declarations
- SmoothedExplicitEdgeBounds.lean 2 declarations
- SmoothedExplicitFormula.lean 4 declarations
- SmoothedExplicitIntegrand.lean 5 declarations
- SmoothedExplicitInversion.lean 3 declarations
- SmoothedExplicitKernelBounds.lean 2 declarations
- SmoothedExplicitLocal.lean 5 declarations
- SmoothedExplicitMellin.lean 6 declarations
- SmoothedExplicitRectangle.lean 3 declarations
- SmoothedExplicitScale.lean 4 declarations
- SmoothedExplicitTails.lean 7 declarations
- SmoothedExplicitTruncation.lean 3 declarations
- SmoothedExplicitZeroSum.lean 2 declarations
- SplitPrimeMassBound.lean 1 declarations
- SplitPrimeMassExplicit.lean 2 declarations
- SplitPrimeMassManuscript.lean 2 declarations
- SplitPrimeSeries.lean 7 declarations
- Tail.lean 4 declarations
- TailBase.lean 7 declarations
- UniformZeroCount.lean 3 declarations
- WideLocalEstimates.lean 2 declarations
- WideLocalZero.lean 1 declarations
- WideNormalizedDisk.lean 10 declarations
- ZeroKernelComparison.lean 2 declarations
- Zeros.lean 12 declarations
- ZetaCompactStrip.lean 3 declarations
- ZetaDerivativePreparation.lean 4 declarations
- ZetaDisk.lean 14 declarations
- ZetaLargeHeight.lean 1 declarations
- ZetaLocalPreparation.lean 4 declarations
- ZetaLocalZeros.lean 1 declarations
- ZetaLogDerivative.lean 2 declarations
- ZetaSeparation.lean 3 declarations
- ZetaStrip.lean 2 declarations
- ZetaStripBound.lean 2 declarations
- ZetaZeroInequality.lean 2 declarations
- ZetaZeroPenalty.lean 1 declarations