OAI/NumberTheory/SiegelZeros/Estimates/
84 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- AffineAsymptotics.lean 3 declarations
- AsymptoticAssembly.lean 23 declarations
- ComponentMultiplicityBound.lean 1 declarations
- ConstantCancellation.lean 8 declarations
- ContrarySequence.lean 1 declarations
- FloorExponents.lean 9 declarations
- GenuineSequence.lean 3 declarations
- GeometricBoundary.lean 1 declarations
- GlobalConstants.lean 4 declarations
- KoszulBounded.lean 5 declarations
- LowerBoundTransfer.lean 4 declarations
- PrimeBounds.lean 8 declarations
- RectangleNumerics.lean 14 declarations