OAI/NumberTheory/DirichletL/RowCompletion/
474 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- BranchDecoding.lean 21 declarations
- CompletedEnergy.lean 48 declarations
- ControlledPrimeStrata.lean 32 declarations
- CubicReopening.lean 37 declarations
- DensityTransfer.lean 12 declarations
- FixedCuspBranches.lean 33 declarations
- FreePrimePools.lean 49 declarations
- InitialDensity.lean 6 declarations
- PeriodicRows.lean 57 declarations
- PolynomialHeight.lean 24 declarations
- ReflectedFibers.lean 23 declarations
- RowAmplitudes.lean 49 declarations
- SupportBounds.lean 36 declarations
- ThetaNonvanishing.lean 39 declarations
- ZeroFreeRegion.lean 8 declarations