OAI/NumberTheory/Ostmann/ZeroDensity/WeightedRieszTails.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Both tails for a bounded vertical coefficient in the Riesz integral

  1. theorem OAI.Ostmann.inverse_square_tail_bound line 12
  2. theorem OAI.Ostmann.weightedRiesz_integrable line 27
  3. theorem OAI.Ostmann.weightedRiesz_both_tails line 37