OAI/NumberTheory/DirichletL/Poisson/
358 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- BinaryGaussian.lean 52 declarations
- EisensteinLattice.lean 59 declarations
- GaussianMoments.lean 39 declarations
- LatticeEnvelopes.lean 55 declarations
- OscillatoryGaussian.lean 34 declarations
- PrincipalTruncation.lean 34 declarations
- QuadraticProfiles.lean 35 declarations
- RadialFourier.lean 50 declarations