OAI/NumberTheory/TwoPoint/Halasz/HalaszTrianglePoisson.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Poisson summation for the compact triangular logarithmic weight.

  1. lemma OAI.TwoPointCorrelations.halasz_triangle_decay line 11
  2. lemma OAI.TwoPointCorrelations.halasz_triangle_fourier_decay line 18
  3. theorem OAI.TwoPointCorrelations.halasz_triangle_poisson line 46