OAI/NumberTheory/JointDickman/Analysis/MellinEndpointScales.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The endpoint range needed by the growing prime moment
- theorem
OAI.JointDickman.mellin_endpoint_scalesline 10