OAI/NumberTheory/CubicMoment/Estimates/SemiprimeGaussTailAngularHigh.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original angular semiprime windows above the local Hecke height have arbitrary logarithmic cancellation, uniformly in the angular index.

  1. theorem OAI.CubicFirstMoment.semiprimeGaussTail_angular_high_piece line 14