OAI/NumberTheory/DirichletL/MeanSquare/
442 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- CanonicalDensity.lean 40 declarations
- CanonicalTailBounds.lean 14 declarations
- DiagonalDensity.lean 22 declarations
- HarmonicAggregation.lean 25 declarations
- HighRadialBounds.lean 22 declarations
- InputEnergy.lean 17 declarations
- LogarithmicBins.lean 35 declarations
- OutsideIdeals.lean 7 declarations
- PoissonSource.lean 30 declarations
- PolynomialHeight.lean 19 declarations
- ReflectedDyadicSeries.lean 19 declarations
- RetainedDensity.lean 13 declarations
- SourceRemainders.lean 22 declarations
- SourceTransfer.lean 55 declarations
- ThetaDensity.lean 22 declarations
- TransformedColumns.lean 38 declarations
- UniformPolynomialHeight.lean 18 declarations
- UnitRows.lean 24 declarations