OAI/NumberTheory/DirichletL/Mellin/
388 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- CompactScale.lean 25 declarations
- CompactWeights.lean 48 declarations
- ExponentialSmoothing.lean 30 declarations
- FiniteEulerRestoration.lean 18 declarations
- InverseContour.lean 43 declarations
- LocalNonvanishing.lean 23 declarations
- LogProfiles.lean 63 declarations
- ReflectedKernel.lean 43 declarations
- SixthPowerAverage.lean 35 declarations
- UniformKernelBounds.lean 27 declarations
- VerticalContourShift.lean 33 declarations