OAI/NumberTheory/JointDickman/Analysis/MellinDyadicLowFrequency.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform low-frequency estimates for integer dyadic subintervals

  1. theorem OAI.JointDickman.angularMellin_uniform_dyadic_low line 11