OAI/NumberTheory/DirichletL/GaussSum/
1404 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- AbelPhaseLimit.lean 39 declarations
- ActiveConductor.lean 38 declarations
- ActiveReindexing.lean 27 declarations
- BesselReflection.lean 33 declarations
- BranchScaling.lean 35 declarations
- ChineseRemainder.lean 36 declarations
- CompletedDyadicRows.lean 29 declarations
- CompletedExpansion.lean 72 declarations
- CubicNormalization.lean 23 declarations
- CubicTrace.lean 32 declarations
- DualKernelSummability.lean 31 declarations
- FiniteFourier.lean 103 declarations
- FiniteTranslations.lean 39 declarations
- FixedRayFibers.lean 37 declarations
- GaussianDualLimit.lean 36 declarations
- GaussianFiberMass.lean 18 declarations
- GlobalScales.lean 38 declarations
- LocalProductAssembly.lean 25 declarations
- MellinSupport.lean 47 declarations
- MixedConversion.lean 43 declarations
- PowerfulParts.lean 44 declarations
- QuadraticNormalization.lean 52 declarations
- QuadraticTrace.lean 35 declarations
- RamifiedTracePhase.lean 42 declarations
- RayCharacters.lean 39 declarations
- ReflectedBranches.lean 62 declarations
- ReflectionBrackets.lean 50 declarations
- ReflectionPool.lean 29 declarations
- ResidualEquivalence.lean 34 declarations
- SecondPoissonScale.lean 76 declarations
- SexticNormalization.lean 29 declarations
- SexticRadialPoisson.lean 58 declarations
- SquarePhaseFactorization.lean 41 declarations
- ThetaLocalRows.lean 32 declarations