OAI/NumberTheory/SiegelZeros/EntireFunctions/
330 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- AffineCircles.lean 3 declarations
- AffineZeroScheme.lean 37 declarations
- AnalyticBridge.lean 3 declarations
- AvoidZeroRadii.lean 55 declarations
- ClosureSpecMapZeroLocus.lean 5 declarations
- CompletedLAnalyticOrderNeTop.lean 18 declarations
- DeletedProduct.lean 41 declarations
- EntireLogarithm.lean 1 declarations
- FiniteNormalizationGrowth.lean 17 declarations
- GammaBound.lean 5 declarations
- Hadamard.lean 6 declarations
- IndexedProduct.lean 23 declarations
- LogarithmicForm.lean 21 declarations
- LogarithmicFormLemma.lean 1 declarations
- MellinConvergentTopIndicator.lean 29 declarations
- NormalizedHadamardTransfer.lean 6 declarations
- PolynomialGrowthRanks.lean 14 declarations
- RealZeroUniformMasterBound.lean 1 declarations
- ReflectionZeros.lean 7 declarations
- RegularSequenceHomZero.lean 2 declarations
- TorusJetZeroSchemeInclusion.lean 16 declarations
- ZeroContribution.lean 3 declarations
- ZeroShellBounds.lean 16 declarations