OAI/NumberTheory/CubicMoment/Estimates/IdealMangoldtMellin.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact Mellin inversion of the actual character-twisted ideal von Mangoldt sum, on its half-plane of absolute convergence.

  1. def OAI.CubicFirstMoment.idealMangoldtSmooth line 12
  2. theorem OAI.CubicFirstMoment.idealMangoldt_smooth_mellin line 15