OAI/NumberTheory/DirichletL/Fourier/
148 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- FrequencyTwists.lean 39 declarations
- LogDensity.lean 44 declarations
- PositiveLogProfiles.lean 27 declarations
- TupleWeights.lean 38 declarations