OAI/NumberTheory/JointDickman/Amplification/CoarseCenteredWeight.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A uniform pointwise bound for centered coarse arithmetic features
- theorem
OAI.JointDickman.norm_centered_coarse_weight_leline 9