OAI/NumberTheory/DirichletL/
25924 declarations, 0 contain sorry, 0 declared as axioms; 2926 files
Folders
- Arithmetic/ 7 files, 367 declarations
- ChineseRemainder/ 3 files, 115 declarations
- CubicSieve/ 91 files, 1986 declarations
- Cusp/ 5 files, 283 declarations
- Descent/ 419 files, 1537 declarations
- Detector/ 414 files, 2557 declarations
- Dictionary/ 42 files, 262 declarations
- Eisenstein/ 82 files, 3793 declarations
- Energy/ 208 files, 798 declarations
- Fourier/ 4 files, 148 declarations
- GaussSum/ 34 files, 1404 declarations
- Hecke/ 182 files, 1389 declarations
- Inversion/ 155 files, 1378 declarations
- MeanSquare/ 18 files, 442 declarations
- Mellin/ 11 files, 388 declarations
- Moments/ 679 files, 4210 declarations
- Poisson/ 8 files, 358 declarations
- PrimeCounting/ 5 files, 104 declarations
- PrimeRows/ 182 files, 753 declarations
- QuadraticSieve/ 36 files, 1180 declarations
- Reciprocity/ 6 files, 332 declarations
- Reflection/ 266 files, 819 declarations
- RowCompletion/ 15 files, 474 declarations
Files
- CenteredExceptionalCount.lean 48 declarations
- CenteredExceptionalProfile.lean 27 declarations
- CharacterTransport.lean 6 declarations
- CompactProfileFamily.lean 7 declarations
- ConductorBounds.lean 16 declarations
- ConductorPresentation.lean 13 declarations
- Continuation.lean 14 declarations
- ContinuationContour.lean 7 declarations
- ContinuationInversion.lean 5 declarations
- ContinuationPolynomialContour.lean 7 declarations
- ContinuationShiftedGaussian.lean 2 declarations
- CubicDyadicDecay.lean 21 declarations
- Detector.lean 8 declarations
- EisensteinTheta.lean 16 declarations
- Endpoint.lean 13 declarations
- EulerFactors.lean 8 declarations
- FiniteConductor.lean 11 declarations
- FiniteFourier.lean 15 declarations
- Foundation.lean 286 imports, no declarations
- GammaDetectorExpansion.lean 38 declarations
- GammaZeroDetector.lean 41 declarations
- GaussianTheta.lean 35 declarations
- HeathBrownIteration.lean 10 declarations
- IdealCharacter.lean 20 declarations
- IdealEuler.lean 27 declarations
- IdealLogDerivative.lean 21 declarations
- IdealMangoldt.lean 34 declarations
- LatticeSummability.lean 7 declarations
- LogarithmicControl.lean 25 declarations
- Nonvanishing.lean 2 declarations
- Parameters.lean 4 declarations
- ParametersCentralBudget.lean 1 declarations
- ParametersDetectorScales.lean 1 declarations
- ParametersFixedSource.lean 3 declarations
- ParametersHighData.lean 2 declarations
- ParametersHighDataFine.lean 2 declarations
- ParametersProbeWindows.lean 1 declarations
- ParametersSlotLengths.lean 2 declarations
- PeriodicThetaRegularity.lean 8 declarations
- PrimeLogProfile.lean 12 declarations
- PrincipalMellinGrowth.lean 12 declarations
- PrincipalMellinResidues.lean 27 declarations
- PrincipalSignalComparison.lean 52 declarations
- PrincipalSlotEstimate.lean 58 declarations
- RayOrthogonality.lean 27 declarations
- RayPrimeNormalizer.lean 4 declarations
- RayQuotient.lean 16 declarations
- ResidueCharacter.lean 15 declarations
- Supremum.lean 12 declarations
- ThetaProduct.lean 15 declarations
- ThetaRegularity.lean 24 declarations
- TraceCharacter.lean 20 declarations
- TraceConductor.lean 17 declarations
- UnitSexticWitness.lean 8 declarations