OAI/NumberTheory/PrimeGaps/
1561 declarations, 0 contain sorry, 0 declared as axioms; 56 files
Files
- AdditiveSieve.lean 28 declarations
- BoxMeans.lean 33 declarations
- CharacterErrors.lean 32 declarations
- ConductorBounds.lean 27 declarations
- ContourIntegrals.lean 35 declarations
- ContourSums.lean 39 declarations
- CumulativeProfiles.lean 44 declarations
- Density.lean 5 declarations
- DensityBounds.lean 9 declarations
- DensityTransport.lean 3 declarations
- DetectorMoments.lean 12 declarations
- Detectors.lean 29 declarations
- DirichletGrowth.lean 31 declarations
- DivisorBounds.lean 27 declarations
- DivisorSums.lean 38 declarations
- DyadicMeans.lean 36 declarations
- EqualityPatterns.lean 40 declarations
- EulerChoices.lean 51 declarations
- EulerFactors.lean 27 declarations
- EulerProducts.lean 25 declarations
- FourierDerivatives.lean 35 declarations
- FourierNormalization.lean 44 declarations
- Indices.lean 48 declarations
- LaplaceTransform.lean 38 declarations
- LevelMoments.lean 41 declarations
- LogParameters.lean 12 declarations
- Main.lean 4 declarations
- MangoldtBounds.lean 31 declarations
- MarkedMoments.lean 41 declarations
- MellinSmoothing.lean 35 declarations
- MultiplicativeSieve.lean 31 declarations
- OrthantIntegrals.lean 34 declarations
- PairedDetectors.lean 36 declarations
- PatternMoments.lean 32 declarations
- PrimeGrowth.lean 4 declarations
- PrincipalGrowth.lean 11 declarations
- ProfileSymmetry.lean 30 declarations
- ProfileVariance.lean 39 declarations
- Profiles.lean 46 declarations
- RatioAlgebra.lean 2 declarations
- RatioCorollary.lean 3 declarations
- RatioDensity.lean 3 declarations
- RatioReduction.lean 3 declarations
- RestrictedWeights.lean 28 declarations
- RieszBounds.lean 7 declarations
- RieszDecay.lean 22 declarations
- SiegelBounds.lean 28 declarations
- SingularSeries.lean 37 declarations
- SingularTails.lean 40 declarations
- TaylorBounds.lean 39 declarations
- TensorProfiles.lean 41 declarations
- VaughanBounds.lean 32 declarations
- VaughanIdentity.lean 28 declarations
- WeightMoments.lean 37 declarations
- ZeroFreeBounds.lean 19 declarations
- ZetaKernel.lean 29 declarations